Sciweavers

729 search results - page 6 / 146
» Towards Secure e-Services
Sort
View
117
Voted
OOPSLA
1999
Springer
15 years 10 months ago
Subject-Oriented Design: Towards Improved Alignment of Requirements, Design, and Code
Siobhán Clarke, William H. Harrison, Harold...
127
Voted
CSFW
1996
IEEE
15 years 10 months ago
Towards a model of storage jamming
John P. McDermott, David M. Goldschlag
SP
1987
IEEE
15 years 9 months ago
Toward Verified Execution Environments
William R. Bevier, Warren A. Hunt Jr., William D. ...
130
Voted
CCS
2008
ACM
15 years 8 months ago
Towards automated proofs for asymmetric encryption schemes in the random oracle model
Judicaël Courant, Marion Daubignard, Cristian...
132
Voted
SP
2008
IEEE
127views Security Privacy» more  SP 2008»
16 years 9 days ago
Civitas: Toward a Secure Voting System
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
Michael R. Clarkson, Stephen Chong, Andrew C. Myer...