Externally verifiable code execution

Authors:
Arvind Seshadri;Mark Luk;Adrian Perrig;Leendert van Doorn;Pradeep Khosla
Affiliations:
Carnegie Mellon University in Pittsburgh, PA;Carnegie Mellon University in Pittsburgh, PA;Carnegie Mellon University in Pittsburgh, PA;IBM T.J. Watson Research Center in Yorktown Heights, NY;Carnegie Mellon University in Pittsburgh, PA
Venue:
Communications of the ACM - Privacy and security in highly dynamic systems
Year:
2006

20th ACM Symposium on Operating Systems Principles

Proceedings of the twentieth ACM symposium on Operating systems principles
Finding collisions in the full SHA-1

CRYPTO'05 Proceedings of the 25th annual international conference on Advances in Cryptology

Casting votes in the auditorium

EVT'07 Proceedings of the USENIX Workshop on Accurate Electronic Voting Technology
Remote Attestation on Legacy Operating Systems With Trusted Platform Modules

Electronic Notes in Theoretical Computer Science (ENTCS)
Remote attestation on legacy operating systems with trusted platform modules

Science of Computer Programming
Securing code in services oriented architecture

ICWE'07 Proceedings of the 7th international conference on Web engineering
VoteBox nano: a smaller, stronger FPGA-based voting machine

EVT/WOTE'09 Proceedings of the 2009 conference on Electronic voting technology/workshop on trustworthy elections
Spy vs. Spy: counter-intelligence methods for backtracking malicious intrusions

Proceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research
Malware: from modelling to practical detection

ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology

Hi-index	0.00

Using hardware- and software-based techniques to realize a primitive for externally verifiable code execution.