Vincenzo Iovino

Artem Grigor

Giuseppe Visconti

Proceedings of the Fifth Distributed Ledger Technology Workshop (DLT 2023), 2023

Multi-input Non-interactive Functional Encryption: Constructions and Applications.

[BibT_eX]

[DOI]

Grigor Artem

Razvan Rosie

Proceedings of the Codes, Cryptology and Information Security, 2023

2022

Towards Data Redaction in Bitcoin.

[BibT_eX]

[DOI]

Vincenzo Botta

Ivan Visconti

IEEE Trans. Netw. Serv. Manag., December, 2022

COVID-19 and cybersecurity.

[BibT_eX]

[DOI]

Roberto Di Pietro

Ni Trieu

IET Inf. Secur., 2022

2021

On the Effectiveness of Time Travel to Inject COVID-19 Alerts.

[BibT_eX]

[DOI]

Serge Vaudenay

Martin Vuagnoux

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

2020

"The simplest protocol for oblivious transfer" revisited.

[BibT_eX]

[DOI]

Ziya Alper Genç

Alfredo Rial

Inf. Process. Lett., 2020

Towards Defeating Mass Surveillance and SARS-CoV-2: The Pronto-C2 Fully Decentralized Automatic Contact Tracing System.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2020

Verifiable Inner Product Encryption Scheme.

[BibT_eX]

[DOI]

Proceedings of the Public-Key Cryptography - PKC 2020, 2020

Universal Unconditional Verifiability in E-Voting without Trusted Parties.

[BibT_eX]

[DOI]

Proceedings of the 33rd IEEE Computer Security Foundations Symposium, 2020

2019

Efficient Perfectly Sound One-message Zero-Knowledge Proofs via Oracle-aided Simulation.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2019

Non-interactive Zero Knowledge Proofs in the Random Oracle Model.

[BibT_eX]

[DOI]

Ivan Visconti

Proceedings of the Codes, Cryptology and Information Security, 2019

2018

Receiver- and sender-deniable functional encryption.

[BibT_eX]

[DOI]

Adam O'Neill

IET Inf. Secur., 2018

2017

Privacy-Preserving Verifiability - A Case for an Electronic Exam Protocol.

[BibT_eX]

[DOI]

Rosario Giustolisi

Gabriele Lenzini

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

On the Relation Between SIM and IND-RoR Security Models for PAKEs.

[BibT_eX]

[DOI]

Proceedings of the 14th International Joint Conference on e-Business and Telecommunications (ICETE 2017), 2017

Mergeable Functional Encryption.

[BibT_eX]

[DOI]

Proceedings of the Provable Security, 2017

On the Relation Between SIM and IND-RoR Security Models for PAKEs with Forward Secrecy.

[BibT_eX]

[DOI]

Proceedings of the E-Business and Telecommunications - 14th International Joint Conference, 2017

Using Selene to Verify Your Vote in JCJ.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2017

Controlled Homomorphic Encryption: Definition and Construction.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2017

Tightly-Secure PAK(E).

[BibT_eX]

[DOI]

Proceedings of the Cryptology and Network Security - 16th International Conference, 2017

2016

(Universal) Unconditional Verifiability in E-Voting without Trusted Parties.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2016

Deniable Functional Encryption.

[BibT_eX]

[DOI]

Adam O'Neill

Proceedings of the Public-Key Cryptography - PKC 2016, 2016

Updatable Functional Encryption.

[BibT_eX]

[DOI]

Afonso Arriaga

Qiang Tang

Proceedings of the Paradigms in Cryptology - Mycrypt 2016. Malicious and Exploratory Cryptology, 2016

Selene: Voting with Transparent Verifiability and Coercion-Mitigation.

[BibT_eX]

[DOI]

Peter Y. A. Ryan

Peter B. Rønne

Proceedings of the Financial Cryptography and Data Security, 2016

On the Possibility of Non-interactive E-Voting in the Public-Key Setting.

[BibT_eX]

[DOI]

Rosario Giustolisi

Peter B. Rønne

Proceedings of the Financial Cryptography and Data Security, 2016

On the Power of Public-key Function-Private Functional Encryption.

[BibT_eX]

[DOI]

Qiang Tang

Proceedings of the Cryptology and Network Security - 15th International Conference, 2016

2015

On the Power of Public-key Functional Encryption with Function Privacy.

[BibT_eX]

[DOI]

Qiang Tang

IACR Cryptol. ePrint Arch., 2015

Simulation-Based Secure Functional Encryption in the Random Oracle Model.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - LATINCRYPT 2015, 2015

2013

On the Power of Rewinding Simulators in Functional Encryption.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2013

On the Achievability of Simulation-Based Security for Functional Encryption.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2013, 2013

2012

Fully Secure Hidden Vector Encryption.

[BibT_eX]

[DOI]

Proceedings of the Pairing-Based Cryptography - Pairing 2012, 2012

2011

Hidden Vector Encryption Fully Secure Against Unrestricted Queries.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2011

Secure and Policy-Private Resource Sharing in an Online Social Network.

[BibT_eX]

[DOI]

Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

jPBC: Java pairing based cryptography.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE Symposium on Computers and Communications, 2011

2010

Efficient Fully Secure (Hierarchical) Predicate Encryption for Conjunctions, Disjunctions and k-CNF/DNF formulae.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2010

Fully Secure Anonymous HIBE and Secret-Key Anonymous IBE with Short Ciphertexts.

[BibT_eX]

[DOI]

Proceedings of the Pairing-Based Cryptography - Pairing 2010, 2010

Predicate Encryption with Partial Public Keys.

[BibT_eX]

[DOI]

Carlo Blundo

Proceedings of the Cryptology and Network Security - 9th International Conference, 2010

2009

Private-Key Hidden Vector Encryption with Key Privacy.

[BibT_eX]

Carlo Blundo

Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

Private-Key Hidden Vector Encryption with Key Confidentiality.

[BibT_eX]

[DOI]

Carlo Blundo

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

2008

Hidden-Vector Encryption with Groups of Prime Order.

[BibT_eX]

[DOI]