286 search results - page 42 / 58 » Pitfalls in Formal Reasoning about Security Protocols |
IEEEARES
2009
IEEE
15 years 4 months ago
2009
IEEE
—In voting, the notion of receipt-freeness has been proposed to express that a voter cannot gain any information to prove that she has voted in a certain way. It aims to prevent ...
CCS
2010
ACM
15 years 4 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
CCS
2006
ACM
15 years 1 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
92
Voted
EUROSYS
2011
ACM
14 years 29 days ago
2011
ACM
The increasing popularity of cloud storage services has lead companies that handle critical data to think about using these services for their storage needs. Medical record databa...
157
click to vote
POPL
2007
ACM
15 years 9 months ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...