Software on the witness stand: what should it take for us to trust it?

Authors:
Sergey Bratus;Ashlyn Lembree;Anna Shubina
Affiliations:
Institute for Security, Technology, and Society, Dartmouth College, Hanover, NH;Franklin Pierce Law Center, Concord, NH;Institute for Security, Technology, and Society, Dartmouth College, Hanover, NH
Venue:
TRUST'10 Proceedings of the 3rd international conference on Trust and trustworthy computing
Year:
2010

Citing 3
Cited 1

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Reflections on trusting trust

ACM Turing award lectures
Hack-a-Vote: Security Issues with Electronic Voting Systems

IEEE Security and Privacy

Effective digital forensics research is investigator-centric

HotSec'11 Proceedings of the 6th USENIX conference on Hot topics in security

Quantified Score

Hi-index	0.00

Visualization

Abstract