5255 search results - page 107 / 1051 » Formal Methods for Privacy |
115
click to vote
CCS
2006
ACM
15 years 6 months ago
2006
ACM
Attackers often try to evade an intrusion detection system (IDS) when launching their attacks. There have been several published studies in evasion attacks, some with available to...
126
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
A communication channel from an honest sender A to an honest receiver B can be described as a system with three interfaces labeled A, B, and E (the adversary), respectively, where...
114
click to vote
OOPSLA
1997
Springer
15 years 6 months ago
1997
Springer
In an object-oriented programming language, method selection is (usually) done at run-time using the class of the receiver. Some object-orientedlanguages(such as CLOS) have multi-...
113
Voted
TSE
2002
15 years 2 months ago
2002
102
Voted
NDSS
2007
IEEE
15 years 8 months ago
2007
IEEE
A direct recording electronic (DRE) voting machine must satisfy several requirements to ensure voter privacy and the integrity of the election. A recent proposal for a vote storag...