239 search results - page 13 / 48 » Proof Techniques for Cryptographic Processes |
102
click to vote
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
ESORICS
2010
Springer
15 years 24 days ago
2010
Springer
Remote attestation is the process of verifying internal state of a remote embedded device. It is an important component of many security protocols and applications. Although previo...
227
click to vote
POPL
2001
ACM
16 years 17 hour ago
2001
ACM
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
85
Voted
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
IWSOC
2003
IEEE
15 years 5 months ago
2003
IEEE
— Intellectual property (IP) block reuse is essential for facilitating the design process of System-on-a-Chip. Sharing IP blocks in such a competitive market poses significant h...