6 results on '"Radomirovic, Sasa"'
Search Results
2. Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
3. Alethea: A Provably Secure Random Sample Voting Protocol
4. Minimal Message Complexity of Asynchronous Multi-party Contract Signing
5. Security of an RFID Protocol for Supply Chains
6. Improving the Security of Cryptographic Protocol Standards.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.