151 search results - page 6 / 31 » Optimal Acceptors and Optimal Proof Systems |
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Relay attacks are a major concern for RFID systems: during an authentication process an adversary transparently relays messages between a verifier and a remote legitimate...
USS
2010
13 years 5 months ago
2010
In recent years, many advances have been made in cryptography, as well as in the performance of communication networks and processors. As a result, many advanced cryptographic pro...
SIGCOMM
2012
ACM
11 years 10 months ago
2012
ACM
Many large content publishers use multiple content distribution networks to deliver their content, and many industrial systems have become available to help a broader set of conte...
AAAI
2012
11 years 10 months ago
2012
Designing revenue-optimal auctions for various settings is perhaps the most important, yet sometimes most elusive, problem in mechanism design. Spiteful bidders have been intensel...