| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer |
Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data.  |
IACR Cryptology ePrint Archive  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Margarita Vald |
Universally Composable Security With Local Adversaries.  |
IACR Cryptology ePrint Archive  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Dana Dachman-Soled, Vinod Vaikuntanathan, Hoeteck Wee |
Efficient Password Authenticated Key Exchange via Oblivious Transfer.  |
Public Key Cryptography  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Bitansky, Ran Canetti, Shai Halevi |
Leakage-Tolerant Interactive Protocols.  |
TCC  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer |
From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again.  |
ITCS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum |
Program Obfuscation with Leaky Hardware.  |
IACR Cryptology ePrint Archive  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Gilad Asharov, Ran Canetti, Carmit Hazay |
Towards a Game Theoretic View of Secure Computation.  |
IACR Cryptology ePrint Archive  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nir Bitansky, Ran Canetti, Shai Halevi |
Leakage Tolerant Interactive Protocols.  |
IACR Cryptology ePrint Archive  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Nir Bitansky, Ran Canetti, Alessandro Chiesa, Eran Tromer |
From Extractable Collision Resistance to Succinct Non-Interactive Arguments of Knowledge, and Back Again.  |
IACR Cryptology ePrint Archive  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Ben Riva, Guy N. Rothblum |
Two 1-Round Protocols for Delegation of Computation.  |
IACR Cryptology ePrint Archive  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Jonathan Herzog |
Universally Composable Symbolic Security Analysis.  |
J. Cryptology  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Boaz Barak, Ran Canetti, Yehuda Lindell, Rafael Pass, Tal Rabin |
Secure Computation Without Authentication.  |
J. Cryptology  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Mayank Varia |
Decisional Diffie-Hellman Problem.  |
Encyclopedia of Cryptography and Security (2nd Ed.)  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Bitansky, Ran Canetti, Shafi Goldwasser, Shai Halevi, Yael Tauman Kalai, Guy N. Rothblum |
Program Obfuscation with Leaky Hardware.  |
ASIACRYPT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilad Asharov, Ran Canetti, Carmit Hazay |
Towards a Game Theoretic View of Secure Computation.  |
EUROCRYPT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ben Riva, Guy N. Rothblum |
Practical delegation of computation using multiple servers.  |
ACM Conference on Computer and Communications Security  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy 0003, Michael Steiner, Wietse Venema |
Composable Security Analysis of OS Services.  |
ACNS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Suresh Chari, Shai Halevi, Birgit Pfitzmann, Arnab Roy 0003, Michael Steiner, Wietse Venema |
Composable Security Analysis of OS Services.  |
IACR Cryptology ePrint Archive  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Yael Tauman Kalai, Mayank Varia, Daniel Wichs |
On Symmetric Encryption and Point Obfuscation.  |
IACR Cryptology ePrint Archive  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nir Bitansky, Ran Canetti |
On Strong Simulation and Composable Point Obfuscation.  |
IACR Cryptology ePrint Archive  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Sebastian Gajek |
Universally Composable Symbolic Analysis of Diffie-Hellman based Key Exchange.  |
IACR Cryptology ePrint Archive  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Yael Tauman Kalai, Mayank Varia, Daniel Wichs |
On Symmetric Encryption and Point Obfuscation.  |
TCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Guy N. Rothblum, Mayank Varia |
Obfuscation of Hyperplane Membership.  |
TCC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nir Bitansky, Ran Canetti |
On Strong Simulation and Composable Point Obfuscation.  |
CRYPTO  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Huijia Lin, Rafael Pass |
Adaptive Hardness and Composable Security in the Plain Model from Standard Assumptions.  |
FOCS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ronny Ramzi Dakdouk |
Towards a Theory of Extractable Functions.  |
TCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Mayank Varia |
Non-malleable Obfuscation.  |
TCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
Modeling Computational Security in Long-Lived Systems, Version 2.  |
IACR Cryptology ePrint Archive  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Mayank Varia |
Non-Malleable Obfuscation.  |
IACR Cryptology ePrint Archive  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Dror Eiger, Shafi Goldwasser, Dah-Yoh Lim |
How to Protect Yourself without Perfect Shredding.  |
IACR Cryptology ePrint Archive  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala |
Analyzing Security Protocols Using Time-Bounded Task-PIOAs.  |
Discrete Event Dynamic Systems  |
2008 |
DBLP DOI BibTeX RDF |
Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer |
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
Modeling Computational Security in Long-Lived Systems.  |
CONCUR  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ronny Ramzi Dakdouk |
Extractable Perfectly One-Way Functions.  |
ICALP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti |
Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency.  |
ICALP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Dror Eiger, Shafi Goldwasser, Dah-Yoh Lim |
How to Protect Yourself without Perfect Shredding.  |
ICALP  |
2008 |
DBLP DOI BibTeX RDF |
intrusion resilience, partial erasures, forward security, secure multiparty computation, randomness extractors, universal hashing, adaptive security, proactive security, mobile adversary |
| 1 | Ran Canetti, Ronny Ramzi Dakdouk |
Obfuscating Point Functions with Multibit Output.  |
EUROCRYPT  |
2008 |
DBLP DOI BibTeX RDF |
composable obfuscation, multibit point function obfuscation, digital locker, point function obfuscation, obfuscation |
| 1 | Ran Canetti (eds.) |
Theory of Cryptography, Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008.  |
TCC  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Waseem Daher, Ran Canetti |
POSH: a generalized captcha with security applications.  |
AISec  |
2008 |
DBLP DOI BibTeX RDF |
puzzles, password security |
| 1 | Boaz Barak, Ran Canetti, Yehuda Lindell, Rafael Pass, Tal Rabin |
Secure Computation Without Authentication.  |
IACR Cryptology ePrint Archive  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Susan Hohenberger |
Chosen-Ciphertext Secure Proxy Re-Encryption.  |
IACR Cryptology ePrint Archive  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti |
Obtaining Universally Composable Security: Towards the Bare Bones of Trust.  |
IACR Cryptology ePrint Archive  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
Modeling Computational Security in Long-Lived Systems.  |
IACR Cryptology ePrint Archive  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Nancy A. Lynch, Olivier Pereira |
On the Role of Scheduling in Simulation-Based Security.  |
IACR Cryptology ePrint Archive  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Jonathan Katz |
A Forward-Secure Public-Key Encryption Scheme.  |
J. Cryptology  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Boneh, Ran Canetti, Shai Halevi, Jonathan Katz |
Chosen-Ciphertext Security from Identity-Based Encryption.  |
SIAM J. Comput.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nancy A. Lynch, Olivier Pereira |
Compositional Security for Task-PIOAs.  |
CSF  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti |
Obtaining Universally Compoable Security: Towards the Bare Bones of Trust.  |
ASIACRYPT  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Yevgeniy Dodis, Rafael Pass, Shabsi Walfish |
Universally Composable Security with Global Setup.  |
TCC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ronald L. Rivest, Madhu Sudan, Luca Trevisan, Salil P. Vadhan, Hoeteck Wee |
Amplifying Collision Resistance: A Complexity-Theoretic Treatment.  |
CRYPTO  |
2007 |
DBLP DOI BibTeX RDF |
hash functions, combiners, collision resistance, hardness amplification |
| 1 | Ran Canetti, Rafael Pass, Abhi Shelat |
Cryptography from Sunspots: How to Use an Imperfect Reference String.  |
FOCS  |
2007 |
DBLP DOI BibTeX RDF |
UC Security, Setup Models, Common Reference String, Non black-box constructions, Entropy |
| 1 | Ran Canetti, Susan Hohenberger |
Chosen-ciphertext secure proxy re-encryption.  |
ACM Conference on Computer and Communications Security  |
2007 |
DBLP DOI BibTeX RDF |
encryption, obfuscation, chosen-ciphertext security, re-encryption |
| 1 | Ran Canetti, Shai Halevi, Michael Steiner |
Mitigating Dictionary Attacks on Password-Protected Local Storage.  |
IACR Cryptology ePrint Archive  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Yevgeniy Dodis, Rafael Pass, Shabsi Walfish |
Universally Composable Security with Global Setup.  |
IACR Cryptology ePrint Archive  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti |
Security and Composition of Cryptographic Protocols: A Tutorial.  |
IACR Cryptology ePrint Archive  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Eyal Kushilevitz, Yehuda Lindell |
On the Limitations of Universally Composable Two-Party Computation Without Set-Up Assumptions.  |
J. Cryptology  |
2006 |
DBLP DOI BibTeX RDF |
Universal composability, Secure two-party computation, Impossibility results |
| 1 | Ran Canetti |
Security and composition of cryptographic protocols: a tutorial (part I).  |
SIGACT News  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala |
Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols.  |
DISC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Jonathan Herzog |
Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.  |
TCC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Michael Steiner |
Mitigating Dictionary Attacks on Password-Protected Local Storage.  |
CRYPTO  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Jonathan Katz, Yehuda Lindell, Philip D. MacKenzie |
Universally Composable Password-Based Key Exchange.  |
IACR Cryptology ePrint Archive  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala |
Using Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol.  |
IACR Cryptology ePrint Archive  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti |
Preface.  |
J. Cryptology  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti |
Decisional Diffie-Hellman Assumption.  |
Encyclopedia of Cryptography and Security  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Jonathan Katz, Yehuda Lindell, Philip D. MacKenzie |
Universally Composable Password-Based Key Exchange.  |
EUROCRYPT  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Michael Steiner |
Hardness Amplification of Weakly Verifiable Puzzles.  |
TCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Jonathan Katz |
Adaptively-Secure, Non-interactive Public-Key Encryption.  |
TCC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Boaz Barak, Ran Canetti, Yehuda Lindell, Rafael Pass, Tal Rabin |
Secure Computation Without Authentication.  |
CRYPTO  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Jonathan Herzog |
Universally Composable Symbolic Analysis of Cryptographic Protocols (The case of encryption-based mutual authentication and key exchange).  |
IACR Cryptology ePrint Archive  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Michael Steiner |
Hardness amplification of weakly verifiable puzzles.  |
IACR Cryptology ePrint Archive  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Jonathan Katz |
Adaptively-Secure, Non-Interactive Public-Key Encryption.  |
IACR Cryptology ePrint Archive  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Eyal Kushilevitz, Yehuda Lindell |
On the Limitations of Universally Composable Two-Party Computation Without Set-up Assumptions.  |
IACR Cryptology ePrint Archive  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Oded Goldreich, Shai Halevi |
The random oracle methodology, revisited.  |
J. ACM  |
2004 |
DBLP DOI BibTeX RDF |
CS-proofs, Correlation intractability, the random-oracle model, cryptography, diagonalization |
| 1 | Ran Canetti, Ivan Damgård, Stefan Dziembowski, Yuval Ishai, Tal Malkin |
Adaptive versus Non-Adaptive Security of Multi-Party Protocols.  |
J. Cryptology  |
2004 |
DBLP DOI BibTeX RDF |
Definitions of security, Adaptive security, Multi-party protocols |
| 1 | William Aiello, Steven M. Bellovin, Matt Blaze, Ran Canetti, John Ioannidis, Angelos D. Keromytis, Omer Reingold |
Just fast keying: Key agreement in a hostile internet.  |
ACM Trans. Inf. Syst. Secur.  |
2004 |
DBLP DOI BibTeX RDF |
Cryptography, denial-of-service attacks |
| 1 | Ran Canetti |
Universally Composable Signature, Certification, and Authentication.  |
CSFW  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Jonathan Katz |
Chosen-Ciphertext Security from Identity-Based Encryption.  |
EUROCRYPT  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Oded Goldreich, Shai Halevi |
On the Random-Oracle Methodology as Applied to Length-Restricted Signature Schemes.  |
TCC  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Boaz Barak, Ran Canetti, Jesper Buus Nielsen, Rafael Pass |
Universally Composable Protocols with Relaxed Set-Up Assumptions.  |
FOCS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti |
Universally Composable Signatures, Certification and Authentication.  |
IACR Cryptology ePrint Archive  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Jonathan Katz |
A Forward-Secure Public-Key Encryption Scheme.  |
IACR Cryptology ePrint Archive  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Oded Goldreich, Shai Halevi |
On the random-oracle methodology as applied to length-restricted signature schemes.  |
IACR Cryptology ePrint Archive  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Hugo Krawczyk, Jesper Buus Nielsen |
Relaxing Chosen-Ciphertext Security.  |
IACR Cryptology ePrint Archive  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Jonathan Katz |
Chosen-Ciphertext Security from Identity-Based Encryption.  |
IACR Cryptology ePrint Archive  |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Shai Halevi, Jonathan Katz |
A Forward-Secure Public-Key Encryption Scheme.  |
EUROCRYPT  |
2003 |
DBLP DOI BibTeX RDF |
Bilinear Diffie-Hellman, Encryption, Forward security, Key exposure |
| 1 | Ran Canetti, Eyal Kushilevitz, Yehuda Lindell |
On the Limitations of Universally Composable Two-Party Computation without Set-up Assumptions.  |
EUROCRYPT  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Tal Rabin |
Universal Composition with Joint State.  |
CRYPTO  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Hugo Krawczyk, Jesper Buus Nielsen |
Relaxing Chosen-Ciphertext Security.  |
CRYPTO  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll |
Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card.  |
ESORICS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Tal Rabin |
Universal Composition with Joint State.  |
IACR Cryptology ePrint Archive  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Hugo Krawczyk |
Security Analysis of IKE's Signature-based Key-Exchange Protocol.  |
IACR Cryptology ePrint Archive  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Hugo Krawczyk |
Universally Composable Notions of Key Exchange and Secure Channels.  |
IACR Cryptology ePrint Archive  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Yehuda Lindell, Rafail Ostrovsky, Amit Sahai |
Universally Composable Two-Party and Multi-Party Secure Computation.  |
IACR Cryptology ePrint Archive  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Ran Canetti, Joe Kilian, Erez Petrank, Alon Rosen |
Black-Box Concurrent Zero-Knowledge Requires (Almost) Logarithmically Many Rounds.  |
SIAM J. Comput.  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Azagury, Ran Canetti, Michael Factor, Shai Halevi, Ealan Henis, Dalit Naor, Noam Rinetzky, Ohad Rodeh, Julian Satran |
A Two Layered Approach for Securing an Object Store Network.  |
IEEE Security in Storage Workshop  |
2002 |
DBLP DOI BibTeX RDF |
Object Store Device, SAN, Storage Security |
| 1 | Ran Canetti, Hugo Krawczyk |
Universally Composable Notions of Key Exchange and Secure Channels.  |
EUROCRYPT  |
2002 |
DBLP DOI BibTeX RDF |
Composition of protocols, Cryptographic Protocols, Key Exchange, Proofs of Security |
| 1 | Ran Canetti, Hugo Krawczyk |
Security Analysis of IKE's Signature-Based Key-Exchange Protocol.  |
CRYPTO  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Catherine Meadows, Paul F. Syverson |
Environmental Requirements for Authentication Protocols.  |
ISSS  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Canetti, Yehuda Lindell, Rafail Ostrovsky, Amit Sahai |
Universally composable two-party and multi-party secure computation.  |
STOC  |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | William Aiello, Steven M. Bellovin, Matt Blaze, John Ioannidis, Omer Reingold, Ran Canetti, Angelos D. Keromytis |
Efficient, DoS-resistant, secure key exchange for internet protocols.  |
ACM Conference on Computer and Communications Security  |
2002 |
DBLP DOI BibTeX RDF |
cryptography, denial of service attacks |
| 1 | Ran Canetti |
A unified framework for analyzing security of protocols  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2001 |
DBLP BibTeX RDF |
|