1
Izdano 2010
Kazalo: ... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...
Polni tekst
Elektronski eKnjiga
2
Izdano 2005
Kazalo: ...Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated...
Polni tekst
Elektronski eKnjiga
3
Izdano 2005
Kazalo: ... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...
Polni tekst
Elektronski eKnjiga