1210 search results - page 171 / 242 » Secure Logic Synthesis |
126
Voted
FOSSACS
2009
Springer
15 years 10 months ago
2009
Springer
Although cryptographic protocols are typically analyzed in isolation, they are used in combinations. If a protocol was analyzed alone and shown to meet some security goals, will it...
123
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
122
Voted
CSFW
2007
IEEE
15 years 7 months ago
2007
IEEE
We consider the problem of statically verifying the conformance of the code of a system to an explicit authorization policy. In a distributed setting, some part of the system may ...
116
Voted
ACSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
Portable storage devices, such as key-chain USB devices, are ubiquitous. These devices are often used with impunity, with users repeatedly using the same storage device in open co...
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...