|
Search the dblp DataBase
Sasa Radomirovic:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Suzana Andova, Cas J. F. Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
A framework for compositional verification of security protocols [Citation Graph (0, 0)][DBLP] CoRR, 2006, v:0, n:, pp:- [Journal]
Minimal Message Complexity of Asynchronous Multi-party Contract Signing. [Citation Graph (, )][DBLP]
Secure Ownership and Ownership Transfer in RFID Systems. [Citation Graph (, )][DBLP]
Untraceability of RFID Protocols. [Citation Graph (, )][DBLP]
Algebraic Attacks on RFID Protocols. [Citation Graph (, )][DBLP]
Restricted Walks in Regular Trees. [Citation Graph (, )][DBLP]
Chosen-name Attacks: An Overlooked Class of Type-flaw Attacks. [Citation Graph (, )][DBLP]
Security of RFID Protocols - A Case Study. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|