Ivan Visconti

Luisa Siniscalchi

Proceedings of the Advances in Cryptology - CRYPTO 2017, 2017

Delayed-Input Cryptographic Protocols.

[BibT_eX]

[DOI]

Saikrishna Badrinarayanan

Proceedings of the Unveiling Dynamics and Complexity, 2017

2016

Online/Offline OR Composition of Sigma Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

On Round-Efficient Non-Malleable Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Concurrent Non-Malleable Commitments (and More) in 3 Rounds.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

New Feasibility Results in Unconditional UC-Secure Computation with (Malicious) PUFs.

[BibT_eX]

[DOI]

Dakshita Khurana

IACR Cryptol. ePrint Arch., 2016

2015

A Transform for NIZK Almost as Efficient and General as the Fiat-Shamir Transform Without Programmable Random Oracles.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Improved OR Composition of Sigma-Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2015

Executable Proofs, Input-Size Hiding Secure Computation and a New Ideal World.

[BibT_eX]

[DOI]

Melissa Chase

Proceedings of the Advances in Cryptology - EUROCRYPT 2015, 2015

Impossibility of Black-Box Simulation Against Leakage Attacks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

2014

The design and implementation of a secure CAPTCHA against man-in-the-middle attacks.

[BibT_eX]

[DOI]

Giovanni Mastroianni

Secur. Commun. Networks, 2014

Impossibility Results for Leakage-Resilient Zero Knowledge and Multi-Party Computation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Statistical Concurrent Non-Malleable Zero Knowledge.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Black-Box Non-Black-Box Zero Knowledge.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Controlled Homomorphic Encryption: Definition and Construction.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

4-Round Resettably-Sound Zero Knowledge.

[BibT_eX]

[DOI]

Kai-Min Chung

Muthuramakrishnan Venkitasubramaniam

Rafael Pass

Proceedings of the Theory of Cryptography - 11th Theory of Cryptography Conference, 2014

On Selective-Opening Attacks against Encryption Schemes.

[BibT_eX]

[DOI]

Vanishree Rao

Proceedings of the Security and Cryptography for Networks - 9th International Conference, 2014

On Input Indistinguishable Proof Systems.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

Special Issue: Advances in Security for Communication Networks.

[BibT_eX]

[DOI]

J. Comput. Secur., 2013

SmartK: Smart cards in operating systems at kernel level.

[BibT_eX]

[DOI]

Inf. Secur. Tech. Rep., 2013

Reliable accounting in grids.

[BibT_eX]

[DOI]

Pompeo Faruolo

Abishek Kumarasubramanian

Int. J. High Perform. Comput. Netw., 2013

Concurrent Zero Knowledge in the Bounded Player Model.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 10th Theory of Cryptography Conference, 2013

Simultaneous Resettability from One-Way Functions.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual IEEE Symposium on Foundations of Computer Science, 2013

Constant-Round Concurrent Zero Knowledge in the Bounded Player Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2013, 2013

2012

Universally Composable Secure Computation with (Malicious) Physically Uncloneable Functions.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Concurrent Zero Knowledge in the Bounded Player Model.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Impossibility Results for Static Input Secure Computation.

[BibT_eX]

[DOI]

Sanjam Garg

IACR Cryptol. ePrint Arch., 2012

Secure Database Commitments and Universal Arguments of Quasi Knowledge.

[BibT_eX]

[DOI]

Melissa Chase

IACR Cryptol. ePrint Arch., 2012

Simultaneous Resettability from Collision Resistance.

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 2012

Simultaneously Resettable Arguments of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography - 9th Theory of Cryptography Conference, 2012

Nearly Simultaneously Resettable Black-Box Zero Knowledge.

[BibT_eX]

[DOI]

Joshua Baron

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

Constructing Non-malleable Commitments: A Black-Box Approach.

[BibT_eX]

[DOI]

Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012

On Round-Optimal Zero Knowledge in the Bare Public-Key Model.

[BibT_eX]

[DOI]

Alessandra Scafuro

Proceedings of the Advances in Cryptology - EUROCRYPT 2012, 2012

2011

On constant-round concurrent non-malleable proof systems.

[BibT_eX]

[DOI]

Zhenfu Cao

Zongyang Zhang

Inf. Process. Lett., 2011

Revisiting Lower and Upper Bounds for Selective Decommitments.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Resettable Statistical Zero Knowledge.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Secure Set Intersection with Untrusted Hardware Tokens.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology - CT-RSA 2011, 2011

2010

Enhancing RFID Security and Privacy by Physically Unclonable Functions.

[BibT_eX]

[DOI]

Proceedings of the Towards Hardware-Intrinsic Security - Foundations and Practice, 2010

Impossibility Results for RFID Privacy Notions.

[BibT_eX]

[DOI]

Trans. Comput. Sci., 2010

On Efficient Non-Interactive Oblivious Transfer with Tamper-Proof Hardware.

[BibT_eX]

[DOI]

Maria Dubovitskaya

Alessandra Scafuro

IACR Cryptol. ePrint Arch., 2010

Proxy Smart Card Systems.

[BibT_eX]

[DOI]

Proceedings of the Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 2010

Efficiency Preserving Transformations for Concurrent Non-malleable Zero Knowledge.

[BibT_eX]

[DOI]

Omkant Pandey

Proceedings of the Theory of Cryptography, 7th Theory of Cryptography Conference, 2010

Constant-Round Concurrent Non-Malleable Statistically Binding Commitments and Decommitments.

[BibT_eX]

[DOI]

Zhenfu Cao

Zongyang Zhang

Proceedings of the Public Key Cryptography, 2010

Increasing Privacy Threats in the Cyberspace: The Case of Italian E-Passports.

[BibT_eX]

[DOI]

Vincenzo Auletta

Carlo Blundo

Angelo De Caro

Emiliano De Cristofaro

Proceedings of the Financial Cryptography and Data Security, 2010

On RFID Privacy with Mutual Authentication and Tag Corruption.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 8th International Conference, 2010

2009

Simulation-Based Concurrent Non-malleable Commitments and Decommitments.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography, 6th Theory of Cryptography Conference, 2009

Location Privacy in RFID Applications.

[BibT_eX]

[DOI]

Proceedings of the Privacy in Location-Based Applications, 2009

Collusion-Free Multiparty Computation in the Mediated Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2009

Anonymizer-Enabled Security and Privacy for RFID.

[BibT_eX]

[DOI]

Proceedings of the Cryptology and Network Security, 8th International Conference, 2009

Revisiting DoS Attacks and Privacy in RFID-Enabled Networks.

[BibT_eX]

[DOI]

Paolo D'Arco

Alessandra Scafuro

Proceedings of the Algorithmic Aspects of Wireless Sensor Networks, 2009

Co-sound Zero-Knowledge with Public Keys.

[BibT_eX]

[DOI]

Carmine Ventre

Proceedings of the Progress in Cryptology, 2009

2008

Constant-Round Concurrent Non-Malleable Commitments and Decommitments.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2008

Completely Non-malleable Encryption Revisited.

[BibT_eX]

[DOI]

Carmine Ventre

Proceedings of the Public Key Cryptography, 2008

Constant-Round Concurrent Non-malleable Zero Knowledge in the Bare Public-Key Model.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

User Privacy in Transport Systems Based on RFID E-Tickets.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Privacy in Location-Based Applications, 2008

Improved Security Notions and Protocols for Non-transferable Identification.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2008

Collusion-Free Protocols in the Mediated Model.

[BibT_eX]

[DOI]

Joël Alwen

Abhi Shelat

Proceedings of the Advances in Cryptology, 2008

2007

Hybrid commitments and their applications to zero-knowledge proof systems.

[BibT_eX]

[DOI]

Dario Catalano

Theor. Comput. Sci., 2007

On Defining Proofs of Knowledge in the Bare Public Key Model.

[BibT_eX]

Proceedings of the Theoretical Computer Science, 10th Italian Conference, 2007

2006

Constant-Round Concurrent NMWI and its relation to NMZK.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2006

Concurrent Non-Malleable Witness Indistinguishability and its Applications.

[BibT_eX]

[DOI]

Electron. Colloquium Comput. Complex., 2006

Mercurial Commitments: Minimal Assumptions and Efficient Constructions.

[BibT_eX]

[DOI]

Dario Catalano

Yevgeniy Dodis

Proceedings of the Theory of Cryptography, Third Theory of Cryptography Conference, 2006

On Non-Interactive Zero-Knowledge Proofs of Knowledge in the Shared Random String Model.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006

Efficient Zero Knowledge on the Internet.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

2005

Securing Operating System Services Based on Smart Cards.

[BibT_eX]

[DOI]

Proceedings of the Trust, 2005

Single-Prover Concurrent Zero Knowledge in Almost Constant Rounds.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Concurrent Zero Knowledge in the Public-Key Model.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Hybrid Trapdoor Commitments and Their Applications.

[BibT_eX]

[DOI]

Dario Catalano

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Impossibility and Feasibility Results for Zero Knowledge with Public Keys.

[BibT_eX]

[DOI]

Joël Alwen

Proceedings of the Advances in Cryptology, 2005

2004

An Architecture for Kernel-Level Verification of Executables at Run Time.

[BibT_eX]

[DOI]

Comput. J., 2004

Reliable Accounting in Grid Economic Transactions.

[BibT_eX]

[DOI]

Pompeo Faruolo

Proceedings of the Grid and Cooperative Computing, 2004

An Efficient and Usable Multi-show Non-transferable Anonymous Credential System.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography, 2004

Constant-Round Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2004

Improved Setup Assumptions for 3-Round Resettable Zero Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2004

2003

A secure and private system for subscription-based remote services.

[BibT_eX]

[DOI]

Pino Persiano

ACM Trans. Inf. Syst. Secur., 2003

A Lightweight Security Model for WBEM.

[BibT_eX]

[DOI]

Giuseppe Cattaneo

Proceedings of the On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, 2003

Anonymous Group Communication in Mobile Networks.

[BibT_eX]

[DOI]

Stelvio Cimato

Paolo D'Arco

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

An Anonymous Credential System and a Privacy-Aware PKI.

[BibT_eX]

[DOI]

Pino Persiano

Proceedings of the Information Security and Privacy, 8th Australasian Conference, 2003

2002

On authentication and privacy on the internet.

[BibT_eX]

[DOI]

PhD thesis, 2002

A Format-Independent Architecture for Run-Time Integrity Checking of Executable Code.

[BibT_eX]

[DOI]

Proceedings of the Security in Communication Networks, Third International Conference, 2002

2000

User privacy issues regarding certificates and the TLS protocol: the design and implementation of the SPSL protocol.

[BibT_eX]

[DOI]

Pino Persiano