Mark Manulis

According to our database, Mark Manulis authored at least 111 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

FEASE: Fast and Expressive Asymmetric Searchable Encryption.

Long Meng, Liqun Chen, Yangguang Tian, Mark Manulis, Suhui Liu

IACR Cryptol. ePrint Arch., 2024

FABESA: Fast (and Anonymous) Attribute-Based Encryption under Standard Assumption.

Long Meng, Liqun Chen, Yangguang Tian, Mark Manulis

IACR Cryptol. ePrint Arch., 2024

Distributed Asynchronous Remote Key Generation.

Mark Manulis, Hugo Nartz

IACR Cryptol. ePrint Arch., 2024

Fully Homomorphic Encryption beyond IND-CCA1 Security: Integrity through Verifiability.

Mark Manulis, Jérôme Nguyen

IACR Cryptol. ePrint Arch., 2024

Fast SNARK-based Non-Interactive Distributed Verifiable Random Function with Ethereum Compatibility.

Jia Liu, Mark Manulis

IACR Cryptol. ePrint Arch., 2024

2023

Generalised Asynchronous Remote Key Generation for Pairing-based Cryptosystems.

Nick Frymann, Daniel Gardham, Mark Manulis, Hugo Nartz

IACR Cryptol. ePrint Arch., 2023

Asynchronous Remote Key Generation for Post-Quantum Cryptosystems from Lattices.

Nick Frymann, Daniel Gardham, Mark Manulis

IACR Cryptol. ePrint Arch., 2023

2022

TAPESTRY: A De-Centralized Service for Trusted Interaction Online.

Yifan Yang, Daniel Cooper, John P. Collomosse, Constantin Catalin Dragan, Mark Manulis, Jamie Steane, Arthi Manohar, Jo Briggs, Helen S. Jones, Wendy Moncur

IEEE Trans. Serv. Comput., 2022

Revocable Hierarchical Attribute-based Signatures from Lattices.

Daniel Gardham, Mark Manulis

IACR Cryptol. ePrint Arch., 2022

Unlinkable Delegation of WebAuthn Credentials.

Nick Frymann, Daniel Gardham, Mark Manulis

IACR Cryptol. ePrint Arch., 2022

ICT in Healthcare: the role of IoT and the SECANT solution.

M. Caballero, Dimitris Kavallieros, A. Spyros, A. Tavernarakisv, Athanasios Tziouvaras, Stefano Bonacina, K. Chandrarmouli, M. Coroiu, L. Chen, T. Dounia, I. Giannoulakis, N. Gligoric, Emmanouil Kafetzakis, T. Kasig, Vaios Koumaras, T. Krousarlis, K. Lapidaki, A. Markakis, S. Marin, Mark Manulis, Sofia-Anna Menesidou, Sokratis Nifakos, L. Meng, S. Mhiri, M. Nati, K. Ntafloukas, D. Oniga, Dimitrios Papamartzivanos, Spyros Papastergiou, K. Sanchez, Christos Sakkas, K. Stelliou, L. Trujillo, Theodora Tsikrika, E. Venegas, Stefanos Vrochidis, D. Xydias

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2022

2021

Cyber security in New Space.

Mark Manulis, Christopher P. Bridges, R. Harrison, Venkkatesh Sekar, Andy Davis

Int. J. Inf. Sec., 2021

Password-authenticated searchable encryption.

Liqun Chen, Kaibin Huang, Mark Manulis, Venkkatesh Sekar

Int. J. Inf. Sec., 2021

2020

Biometric-Authenticated Searchable Encryption.

Daniel Gardham, Mark Manulis, Constantin Catalin Dragan

IACR Cryptol. ePrint Arch., 2020

Asynchronous Remote Key Generation: An Analysis of Yubico's Proposal for W3C WebAuthn.

Nick Frymann, Daniel Gardham, Franziskus Kiefer, Emil Lundberg, Mark Manulis, Dain Nilsson

IACR Cryptol. ePrint Arch., 2020

KYChain: user-controlled KYC data sharing and certification.

Constantin Catalin Dragan, Mark Manulis

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

An Interoperable Architecture for Usable Password-Less Authentication.

Matthew Casey, Mark Manulis, Christopher J. P. Newton, Robin Savage, Helen Treharne

Proceedings of the Emerging Technologies for Authorization and Authentication, 2020

2019

pRate: Anonymous Star Rating with Rating Secrecy.

Jia Liu, Mark Manulis

IACR Cryptol. ePrint Arch., 2019

Hierarchical Attribute-based Signatures: Short Keys and Optimal Signature Length.

Daniel Gardham, Mark Manulis

IACR Cryptol. ePrint Arch., 2019

Securing Fleets of Consumer Drones at Low Cost.

Nick Frymann, Mark Manulis

CoRR, 2019

TAPESTRY: A Blockchain based Service for Trusted Interaction Online.

Yifan Yang, Daniel Cooper, John P. Collomosse, Constantin Catalin Dragan, Mark Manulis, Jamie Steane, Arthi Manohar, Jo Briggs, Helen S. Jones, Wendy Moncur

CoRR, 2019

Enhancing Security and Dependability of Industrial Networks with Opinion Dynamics.

Juan E. Rubio, Mark Manulis, Cristina Alcaraz, Javier López

Proceedings of the Computer Security - ESORICS 2019, 2019

2018

Hierarchical Attribute-based Signatures.

Constantin Catalin Dragan, Daniel Gardham, Mark Manulis

IACR Cryptol. ePrint Arch., 2018

Bootstrapping Online Trust: Timeline Activity Proofs.

Constantin Catalin Dragan, Mark Manulis

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2018

2017

Password Authenticated Keyword Search.

Kaibin Huang, Mark Manulis, Liqun Chen

Proceedings of the IEEE Symposium on Privacy-Aware Computing, 2017

2016

Secure modular password authentication for the web using channel bindings.

Mark Manulis, Douglas Stebila, Franziskus Kiefer, Nick Denham

Int. J. Inf. Sec., 2016

Universally Composable Two-Server PAKE.

Franziskus Kiefer, Mark Manulis

IACR Cryptol. ePrint Arch., 2016

Blind Password Registration for Verifier-based PAKE.

Franziskus Kiefer, Mark Manulis

IACR Cryptol. ePrint Arch., 2016

Blind Password Registration for Two-Server Password Authenticated Key Exchange and Secret Sharing Protocols.

Franziskus Kiefer, Mark Manulis

Proceedings of the Information Security - 19th International Conference, 2016

2015

Oblivious PAKE: Efficient Handling of Password Trials.

Franziskus Kiefer, Mark Manulis

Proceedings of the Information Security - 18th International Conference, 2015

Public Key Encryption with Distributed Keyword Search.

Veronika Kuchta, Mark Manulis

Proceedings of the Trusted Systems - 7th International Conference, 2015

2014

Secure modular password authentication for the web using channel bindings.

Mark Manulis, Douglas Stebila, Nick Denham

IACR Cryptol. ePrint Arch., 2014

Distributed Smooth Projective Hashing and its Application to Two-Server PAKE.

Franziskus Kiefer, Mark Manulis

IACR Cryptol. ePrint Arch., 2014

Zero-Knowledge Password Policy Checks and Verifier-Based PAKE.

Franziskus Kiefer, Mark Manulis

IACR Cryptol. ePrint Arch., 2014

Privacy-Enhanced Participatory Sensing with Collusion-Resistance and Data Aggregation.

Felix Günther, Mark Manulis, Andreas Peter

IACR Cryptol. ePrint Arch., 2014

Forward-Secure Hierarchical Predicate Encryption.

Juan Manuel González Nieto, Mark Manulis, Dongdong Sun

Comput. J., 2014

A Modular Framework for Multi-Factor Authentication and Key Exchange.

Nils Fleischhacker, Mark Manulis, Amir Azodi

Proceedings of the Security Standardisation Research - First International Conference, 2014

Rerandomizable Threshold Blind Signatures.

Veronika Kuchta, Mark Manulis

Proceedings of the Trusted Systems - 6th International Conference, 2014

Formalising Human Recognition: a Fundamental Building Block for Security Proofs.

Kenneth Radke, Colin Boyd, Juanma González Nieto, Mark Manulis, Douglas Stebila

Proceedings of the Twelfth Australasian Information Security Conference, 2014

Distributed Smooth Projective Hashing and Its Application to Two-Server Password Authenticated Key Exchange.

Franziskus Kiefer, Mark Manulis

Proceedings of the Applied Cryptography and Network Security, 2014

2013

Publicly verifiable ciphertexts.

Juan Manuel González Nieto, Mark Manulis, Bertram Poettering, Jothi Rangasamy, Douglas Stebila

J. Comput. Secur., 2013

Security and privacy for digital ecosystems.

Ioannis G. Askoxylakis, Mark Manulis, Joachim Posegga

Inf. Secur. Tech. Rep., 2013

Modeling Leakage of Ephemeral Secrets in Tripartite/Group Key Exchange.

Mark Manulis, Koutarou Suzuki, Berkant Ustaoglu

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2013

Relations among Privacy Notions for Signcryption and Key Invisible "Sign-then-Encrypt".

Yang Wang, Mark Manulis, Man Ho Au, Willy Susilo

IACR Cryptol. ePrint Arch., 2013

Oblivious PAKE and Efficient Handling of Password Trials.

Franziskus Kiefer, Mark Manulis

IACR Cryptol. ePrint Arch., 2013

Unique Aggregate Signatures with Applications to Distributed Verifiable Random Functions.

Veronika Kuchta, Mark Manulis

Proceedings of the Cryptology and Network Security - 12th International Conference, 2013

2012

Fully Private Revocable Predicate Encryption.

Juan Manuel González Nieto, Mark Manulis, Dongdong Sun

IACR Cryptol. ePrint Arch., 2012

Plaintext Awareness in Identity-Based Key Encapsulation.

Mark Manulis, Bertram Poettering, Douglas Stebila

IACR Cryptol. ePrint Arch., 2012

Modular Design and Analysis Framework for Multi-Factor Authentication and Key Exchange.

Nils Fleischhacker, Mark Manulis, Amir Azodi

IACR Cryptol. ePrint Arch., 2012

Privacy-Oriented Cryptography (Dagstuhl Seminar 12381).

Jan Camenisch, Mark Manulis, Gene Tsudik, Rebecca N. Wright

Dagstuhl Reports, 2012

Sufficient Condition for Ephemeral Key-Leakage Resilient Tripartite Key Exchange.

Atsushi Fujioka, Mark Manulis, Koutarou Suzuki, Berkant Ustaoglu

Proceedings of the Information Security and Privacy - 17th Australasian Conference, 2012

Topology-Driven Secure Initialization in Wireless Sensor Networks: A Tool-Assisted Approach.

Stanislaus Stelle, Mark Manulis, Matthias Hollick

Proceedings of the Seventh International Conference on Availability, 2012

2011

Modeling key compromise impersonation attacks on group key exchange protocols.

M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto, Mark Manulis

ACM Trans. Inf. Syst. Secur., 2011

Cryptographic Treatment of Private User Profiles.

Felix Günther, Mark Manulis, Thorsten Strufe

IACR Cryptol. ePrint Arch., 2011

Pseudorandom Signatures.

Nils Fleischhacker, Felix Günther, Franziskus Kiefer, Mark Manulis, Bertram Poettering

IACR Cryptol. ePrint Arch., 2011

Private Discovery of Common Social Contacts.

Emiliano De Cristofaro, Mark Manulis, Bertram Poettering

IACR Cryptol. ePrint Arch., 2011

SWISH: Secure WiFi sharing.

Damien Leroy, Gregory Detal, Julien Cathalo, Mark Manulis, François Koeune, Olivier Bonaventure

Comput. Networks, 2011

Key management in distributed online social networks.

Felix Günther, Mark Manulis, Thorsten Strufe

Proceedings of the 12th IEEE International Symposium on a World of Wireless, 2011

Affiliation-Hiding Authentication with Minimal Bandwidth Consumption.

Mark Manulis, Bertram Poettering

Proceedings of the Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication, 2011

UPBA: User-Authenticated Property-Based Attestation.

Mark Manulis, Marion Steiner

Proceedings of the Ninth Annual Conference on Privacy, Security and Trust, 2011

Group Signature with Constant Revocation Costs for Signers and Verifiers.

Chun-I Fan, Ruei-Hau Hsu, Mark Manulis

Proceedings of the Cryptology and Network Security - 10th International Conference, 2011

Non-interactive and Re-usable Universally Composable String Commitments with Adaptive Security.

Marc Fischlin, Benoît Libert, Mark Manulis

Proceedings of the Advances in Cryptology - ASIACRYPT 2011, 2011

2010

Security and Privacy in Online Social Networks.

Leucio Antonio Cutillo, Mark Manulis, Thorsten Strufe

Proceedings of the Handbook of Social Network Technologies and Applications, 2010

Key agreement for heterogeneous mobile ad-hoc groups.

Mark Manulis, Ahmad-Reza Sadeghi

Int. J. Wirel. Mob. Comput., 2010

Practical Affiliation-Hiding Authentication from Improved Polynomial Interpolation.

Mark Manulis, Bertram Poettering

IACR Cryptol. ePrint Arch., 2010

Trusted virtual domains: Color your network.

Luigi Catuogno, Hans Löhr, Mark Manulis, Ahmad-Reza Sadeghi, Christian Stüble, Marcel Winandy

Datenschutz und Datensicherheit, 2010

Taming Big Brother Ambitions: More Privacy for Secret Handshakes.

Mark Manulis, Bertram Poettering, Gene Tsudik

Proceedings of the Privacy Enhancing Technologies, 10th International Symposium, 2010

Privacy-preserving admission to mobile peer-to-peer groups.

Mark Manulis

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

Security and Privacy Objectives for Sensing Applications in Wireless Community Networks.

Delphine Christin, Matthias Hollick, Mark Manulis

Proceedings of the 19th International Conference on Computer Communications and Networks, 2010

Public-Key Encryption with Non-Interactive Opening: New Constructions and Stronger Definitions.

David Galindo, Benoît Libert, Marc Fischlin, Georg Fuchsbauer, Anja Lehmann, Mark Manulis, Dominique Schröder

Proceedings of the Progress in Cryptology, 2010

Flexible Group Key Exchange with On-demand Computation of Subgroup Keys.

Michel Abdalla, Céline Chevalier, Mark Manulis, David Pointcheval

Proceedings of the Progress in Cryptology, 2010

Affiliation-Hiding Key Exchange with Untrusted Group Authorities.

Mark Manulis, Bertram Poettering, Gene Tsudik

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

Privacy-Preserving Group Discovery with Linear Complexity.

Mark Manulis, Benny Pinkas, Bertram Poettering

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

Redactable Signatures for Tree-Structured Data: Definitions and Constructions.

Christina Brzuska, Heike Busch, Özgür Dagdelen, Marc Fischlin, Martin Franz, Stefan Katzenbeisser, Mark Manulis, Cristina Onete, Andreas Peter, Bertram Poettering, Dominique Schröder

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

2009

Security model and framework for information aggregation in sensor networks.

Mark Manulis, Jörg Schwenk

ACM Trans. Sens. Networks, 2009

User-aware provably secure protocols for browser-based mutual authentication.

Sebastian Gajek, Mark Manulis, Jörg Schwenk

Int. J. Appl. Cryptogr., 2009

Generic One Round Group Key Exchange in the Standard Model.

M. Choudary Gorantla, Colin Boyd, Juan Manuel González Nieto, Mark Manulis

IACR Cryptol. ePrint Arch., 2009

Confidential Signatures and Deterministic Signcryption.

Alexander W. Dent, Marc Fischlin, Mark Manulis, Martijn Stam, Dominique Schröder

IACR Cryptol. ePrint Arch., 2009

Securing Remote Access Inside Wireless Mesh Networks.

Mark Manulis

Proceedings of the Information Security Applications, 10th International Workshop, 2009

Transparent Mobile Storage Protection in Trusted Virtual Domains.

Luigi Catuogno, Hans Löhr, Mark Manulis, Ahmad-Reza Sadeghi, Marcel Winandy

Proceedings of the 23rd Large Installation System Administration Conference, 2009

Enhanced wireless roaming security using three-party authentication and tunnels.

Damien Leroy, Mark Manulis, Olivier Bonaventure

Proceedings of the 1st ACM workshop on User-provided networking: challenges and opportunities, 2009

Fully Robust Tree-Diffie-Hellman Group Key Exchange.

Timo Brecher, Emmanuel Bresson, Mark Manulis

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

Group Key Exchange Enabling On-Demand Derivation of Peer-to-Peer Keys.

Mark Manulis

Proceedings of the Applied Cryptography and Network Security, 7th International Conference, 2009

2008

WiFi Roaming: Legal Implications and Security Constraints.

Romain Robert, Mark Manulis, Florence De Villenfagne, Damien Leroy, Julien Jost, François Koeune, Caroline Ker, Jean-Marc Dinant, Yves Poullet, Olivier Bonaventure, Jean-Jacques Quisquater

Int. J. Law Inf. Technol., 2008

Securing group key exchange against strong corruptions and key registration attacks.

Emmanuel Bresson, Mark Manulis

Int. J. Appl. Cryptogr., 2008

Contributory group key exchange in the presence of malicious participants.

Emmanuel Bresson, Mark Manulis

IET Inf. Secur., 2008

Authenticated Wireless Roaming via Tunnels: Making Mobile Guests Feel at Home.

Mark Manulis, Damien Leroy, François Koeune, Olivier Bonaventure, Jean-Jacques Quisquater

IACR Cryptol. ePrint Arch., 2008

Universally Composable Security Analysis of TLS - Secure Sessions with Handshake and Record Layer Protocols.

Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk

IACR Cryptol. ePrint Arch., 2008

Universally Composable Security Analysis of TLS.

Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk

Proceedings of the Provable Security, Second International Conference, 2008

Property-Based Attestation without a Trusted Third Party.

Liqun Chen, Hans Löhr, Mark Manulis, Ahmad-Reza Sadeghi

Proceedings of the Information Security, 11th International Conference, 2008

Secure Multi-Coupons for Federated Environments: Privacy-Preserving and Customer-Friendly.

Frederik Armknecht, Alberto N. Escalante, Hans Löhr, Mark Manulis, Ahmad-Reza Sadeghi

Proceedings of the Information Security Practice and Experience, 2008

A Browser-Based Kerberos Authentication Scheme.

Sebastian Gajek, Tibor Jager, Mark Manulis, Jörg Schwenk

Proceedings of the Computer Security, 2008

Provably secure browser-based user-aware mutual authentication over TLS.

Sebastian Gajek, Mark Manulis, Ahmad-Reza Sadeghi, Jörg Schwenk

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Securing group key exchange against strong corruptions.

Emmanuel Bresson, Mark Manulis

Proceedings of the 2008 ACM Symposium on Information, Computer and Communications Security, 2008

Enforcing User-Aware Browser-Based Mutual Authentication with Strong Locked Same Origin Policy.

Sebastian Gajek, Mark Manulis, Jörg Schwenk

Proceedings of the Information Security and Privacy, 13th Australasian Conference, 2008

2007

Provably secure group key exchange.

Mark Manulis

PhD thesis, 2007

Provably Secure Framework for Information Aggregation is Sensor Networks.

Mark Manulis, Jörg Schwenk

IACR Cryptol. ePrint Arch., 2007

Tree-based group key agreement framework for mobile ad-hoc networks.

Lijun Liao, Mark Manulis

Future Gener. Comput. Syst., 2007

Provably Secure Framework for Information Aggregation in Sensor Networks.

Mark Manulis, Jörg Schwenk

Proceedings of the Computational Science and Its Applications, 2007

A Privacy-Protecting Multi-Coupon Scheme with Stronger Protection Against Splitting.

Liqun Chen, Alberto N. Escalante, Hans Löhr, Mark Manulis, Ahmad-Reza Sadeghi

Proceedings of the Financial Cryptography and Data Security, 2007

Malicious Participants in Group Key Exchange: Key Control and Contributiveness in the Shadow of Trust.

Emmanuel Bresson, Mark Manulis

Proceedings of the Autonomic and Trusted Computing, 4th International Conference, 2007

2006

Linkable Democratic Group Signatures.

Mark Manulis, Ahmad-Reza Sadeghi, Jörg Schwenk

IACR Cryptol. ePrint Arch., 2006

Security-Focused Survey on Group Key Exchange Protocols.

Mark Manulis

IACR Cryptol. ePrint Arch., 2006

Survey on Security Requirements and Models for Group Key Exchange.

Mark Manulis

IACR Cryptol. ePrint Arch., 2006

On Security Models and Compilers for Group Key Exchange Protocols.

Emmanuel Bresson, Mark Manulis, Jörg Schwenk

IACR Cryptol. ePrint Arch., 2006

Democratic group signatures: on an example of joint ventures.

Mark Manulis

Proceedings of the 2006 ACM Symposium on Information, Computer and Communications Security, 2006

Property-Based Taming of Lying Mobile Nodes.

Mark Manulis, Ahmad-Reza Sadeghi

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

2005

Democratic Group Signatures on Example of Joint Ventures.

Mark Manulis

IACR Cryptol. ePrint Arch., 2005

Contributory group key agreement protocols, revisited for mobile ad-hoc groups.

Mark Manulis

Proceedings of the IEEE 2nd International Conference on Mobile Adhoc and Sensor Systems, 2005

Key Agreement for Heterogeneous Mobile Ad-Hoc Groups.

Mark Manulis

Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

2004

Pseudonym Generation Scheme for Ad-Hoc Group Communication Based on IDH.

Mark Manulis, Jörg Schwenk

Proceedings of the Security in Ad-hoc and Sensor Networks, First European Workshop, 2004