981 search results - page 165 / 197 » Symbolic pointer analysis |
CSL
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
114
click to vote
CCS
2010
ACM
15 years 18 days ago
2010
ACM
Many cryptographic tasks and protocols, such as non-repudiation, contract-signing, voting, auction, identity-based encryption, and certain forms of secure multi-party computation,...
95
Voted
IJDAR
2006
15 years 12 days ago
2006
Tables are a ubiquitous form of communication. While everyone seems to know what a table is, a precise, analytical definition of "tabularity" remains elusive because some...
95
Voted
INFSOF
2007
15 years 9 days ago
2007
Retrofitting security implementations to a released software-intensive system or to a system under development may require significant architectural or coding changes. These late...
TWC
2008
15 years 9 days ago
2008
This paper proposes a relay-based scheme where a fixed number of relays are utilized to design an OFDM cooperative protocol. By exploiting limited feedback from the destination ter...