IACR News
Here you can see all recent updates to the IACR webpage. These updates are also available:
26 June 2023
Nigel P. Smart
ePrint Report23 June 2023
Thibault Balenbois, Jean-Baptiste Orfila, Nigel P. Smart
ePrint ReportLoris Bergerat, Ilaria Chillotti, Damien Ligier, Jean-Baptiste Orfila, Adeline Roux-Langlois, Samuel Tap
ePrint ReportArghya Bhattacharjee, Ritam Bhaumik, Avijit Dutta, Eik List
ePrint ReportIn this work, we improve on the state of the art by combining those aspects for efficient authenticated encryption. We propose $\textsf{PAE}$, an efficient nonce-based AE scheme that employs a public permutation and one call to an XOR-universal hash function. $\textsf{PAE}$ provides $O(2n/3)$-bit security and high throughput by combining forked public-permutation-based variants of $\textsf{nEHtM}$ and an Encrypted Davies-Meyer. Thus, it can use a single, in part round-reduced, public permutation for most operations, spare a key schedule, and guarantee security beyond the birthday bound even under limited nonce reuse.
Miguel Ambrona, Marc Beunardeau, Raphaël R. Toledo
ePrint ReportWe revisit the notion of timed commitments and propose an alternative simplified definition. We also provide two new constructions of timed commitments with different trade-offs.
Kyoichi Asano, Yohei Watanabe
ePrint Report22 June 2023
Tuzla, Turkey, 28 August - 1 September 2023
Event CalendarSubmission deadline: 31 July 2023
Notification: 7 August 2023
Isla Vista, USA, 19 August - 20 August 2023
Event CalendarSubmission deadline: 10 July 2023
Esra Günsay, Burcu E. Karakaş, N. Gamze Orhon Kılıç, Oğuz Yayla
ePrint ReportZijing Di, Lucas Xia, Wilson Nguyen, Nirvan Tyagi
ePrint ReportWe present a new protocol for proving machine execution that resolves the above limitations, allowing for prover efficiency on the order of executed instructions while achieving zero-knowledge and avoiding the use of proof recursion. Our core technical contribution is a new primitive that we call a tuple lookup argument which is used to allow a prover to build up a machine execution “on-the-fly”. Our tuple lookup argument relies on univariate polynomial commitments in which tuples are encoded as evaluations on cosets of a multiplicative subgroup. We instantiate our protocol by combining our tuple lookup with the popular Marlin succinct non-interactive proof system.
Xihan Xiong, Zhipeng Wang, William Knottenbelt, Michael Huth
ePrint Report21 June 2023
Adam Petcher, Matthew Campagna
ePrint ReportArthur Americo, Allison Bishop, Paul Cesaretti, Garrison Grogan, Adam McKoy, Robert Moss, Lisa Oakley, Marcel Ribeiro, Mohammad Shokri
ePrint ReportGeoffroy Couteau, Abhishek Jain, Zhengzhong Jin, Willy Quach
ePrint ReportInfinitely-often uniform security is a standard byproduct of commonly used non-black-box techniques that build on disjunction arguments on the (in)security of some primitive. In the course of proving our results, we develop a new variant of this non-black-box technique that yields improved guarantees: we obtain explicit constructions (previous works generally only obtained existential results) where security holds for a relatively dense set of security parameters (as opposed to an arbitrary infinite set of security parameters). We demonstrate that our technique can have applications beyond our main results.
University of Leuven, COSIC Research Group
Job PostingSpecific Skills Required: The candidate should hold a PhD degree with a proven research track record in any aspects of post-quantum cryptography and preferably in isogeny-based cryptography. A strong mathematical background is required, complemented with some programming experience and/or quantum algorithms.
Closing date for applications:
Contact: frederik.vercauteren[at]esat.kuleuven.be
More information: https://www.esat.kuleuven.be/cosic/vacancies/
University of Leuven, COSIC Research Group
Job PostingSpecific Skills Required: The candidate should hold a Master's degree in mathematics and/or computer science. A strong mathematical background is required, complemented with some programming experience and/or quantum algorithms.
Closing date for applications:
Contact: frederik.vercauteren[at]esat.kuleuven.be
More information: https://www.esat.kuleuven.be/cosic/vacancies/
University of Leuven, COSIC Research Group
Job PostingSpecific Skills Required: The candidate should hold a Master's degree in mathematics and/or computer science, preferably with experience in algebraic geometry. Candidates that perform well on international maths/CS olympiades are preferred.
Closing date for applications:
Contact: frederik.vercauteren[at]esat.kuleuven.be
More information: https://www.esat.kuleuven.be/cosic/vacancies/
EURECOM, S3 Group, Sophia Antipolis, France
Job PostingClosing date for applications:
Contact: Daniele Antonioli
University of Connecticut, CT, USA
Job PostingThe positions provide a great opportunity for students with interest in interdisciplinary projects that combine knowledge from various fields towards the design of secure systems and protocols. We target real-world and timely problems and aim to develop secure and practical solutions backed by rigorous foundations and efficient implementations. We are also interested in conceptual projects that contribute in bridging the gap between theory and practice of Cryptography.
For more information about our current and previous projects please check https://ghadaalmashaqbeh.github.io/research/. For interested students, please send your CV to ghada@uconn.edu and provide any relevant information about your research interests, skills and background.
Closing date for applications:
Contact: Ghada Almashaqbeh
More information: https://ghadaalmashaqbeh.github.io/
The University of Edinburgh
Job PostingKnowledge, skills and experience:
- Ph.D. (or near completion) in cryptography or related fields
- Track record of strong publications
- Strong experience in provable security, and in the design of cryptographic protocols
- Strong experience in research in one or more of the following areas: secure multi-party computation, zero-knowledge proofs, blockchain, functional encryption, fully-homomorphic encryption, and distributed algorithms.
- Experience in implementing cryptographic algorithms, and writing software for security-related applications
- Ability to communicate complex information clearly, orally, and in writing.
Please apply by July 17th, 2023 using the following link https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/7729.
Closing date for applications:
Contact: Michele Ciampi
More information: https://elxw.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1001/job/7729