IACR News
Here you can see all recent updates to the IACR webpage. These updates are also available:
01 February 2023
Manjeet Kaur, Tarun Yadav, Manoj Kumar, Dhananjoy Dey
ePrint ReportDiego Castejon-Molina, Dimitrios Vasilopoulos, Pedro Moreno-Sanchez
ePrint ReportEike Kiltz, Jiaxin Pan, Doreen Riepel, Magnus Ringerud
ePrint ReportWe also introduce CorrCRGapCDH, a stronger Challenge-Response variant of our assumption. Unlike standard GapCDH, CorrCRGapCDH implies the security of the popular AKE protocol HMQV in the eCK model, tightly and without rewinding. Again, we prove hardness of CorrCRGapCDH in the generic group model, with (almost) optimal bounds.
Our new results allow implementations of NAXOS, X3DH, and HMQV without having to adapt the group sizes to account for the tightness loss of previous reductions. As a side result of independent interest, we also obtain modular and simple security proofs from standard GapCDH with tightness loss, improving previously known bounds.
31 January 2023
University of Birmingham, UK
Job PostingThis is an exciting opportunity to join the University of Birmingham’s Centre for Cyber Security and Privacy on the exciting projects "User-controlled hardware security anchors: evaluation and designs" and "SIPP - Secure IoT Processor Platform with Remote Attestation".
The position has scope for a variety of research activities, spanning trusted execution, hardware and embedded security, binary analysis, protocol design/analysis, and formal modelling. We are hence looking for a candidate with a PhD (or equivalent industry experience) in at least one of these areas.
The post-doc will be based at the Birmingham Centre for Cyber Security and Privacy, which was originally founded in 2005 as the Security and Privacy group and is now recognised as a Centre by the university since 2018. The Centre is a core part of the School of Computer Science, which was ranked 3rd in the UK-wide REF2021 for computer science research. Three out of the four REF2021 impact case studies came from the security group; all four were awarded the maximum grade of 4*. The centre currently has 12 permanent academics as well as approximately 20 postdocs/PhD students. We are recognised by the UK NCSC in partnership with EPSRC as an Academic Centre of Excellence in Cyber Security Research. We are part of the Research Institute in Secure Hardware and Embedded Systems funded by NCSC and EPSRC.
Full time starting salary is normally in the range £32,348 to £42,155, with potential progression once in post to £44,737 (Grade 7). The position comes with budget for travel and equipment.
Fixed term contract up to July 2024. We will encourage and support the successful candidate to apply for follow-up funding after the end of the fixed term.
Apply until 19th February 2023 using the following link: https://tinyurl.com/uobpostdoc
Closing date for applications:
Contact: Informal enquiries can be sent to Mark Ryan (m.d.ryan@bham.ac.uk) and David Oswald (d.f.oswald@bham.ac.uk). Full applications must be submitted via the above link, we cannot accept applications via email.
More information: https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/requisitions/preview/1170/?lastSelectedFacet=TITLES&selectedTitlesFacet=RES
University of St.Gallen, Switzerland
Job Posting- Development and implementation of concepts and research results, both individually and in collaboration with researchers and PhD students,
- Run of experiments and simulation of realistic conditions to test the performance of developed algorithms and protocols,
- Development, maintenance and organization of software,
- Support to BSc, MSc and PhD students, postdocs and researchers who use the lab,
- Responsibility for day routines in the lab, for example purchases, installations, bookings, inventory,
- Demonstrations and lab tours for external visitors,
- Producing media content for our group web page and social media platforms.
- We are looking for a strongly motivated and self-driven person who is able to work and learn new things independently.
- Good command of English is required.
- You should have a good academic track record and well developed analytical and problem solving skills.
- Excellent programming skills and familiarity with cryptographic libraries.
- Previous experience in implementation projects with C++, Matlab/Simulink, Python is desired.
Closing date for applications:
Contact:
Eriane Breu, eriane.breu@unisg.ch (Administrative matters)
Prof. Katerina Mitrokotsa, katerina.mitrokotsa@unisg.ch (Research related questions)
More information: https://jobs.unisg.ch/offene-stellen/cryptography-engineer-m-w-d/61aac880-209c-41c9-b2dd-fb4fb4074ebe
Visa Research, Palo Alto, CA
Job PostingThe Digital Currency Research team at Visa Research is looking for outstanding research interns as part of our growing team in Palo Alto, California.
Our team is building the next generation of financial systems that rely on digital currencies, including decentralized cryptocurrencies like Bitcoin and Ethereum and semi-decentralized digital currencies like stablecoins, central bank digital currencies (CBDCs), and tokenized commercial bank deposits. Compared to traditional financial systems, these networks have significantly stronger resilience against cyberattacks, achieved by minimizing trust in various system components.
Past intern projects have included:
- Blockchain scalability, e.g., sharding (RapidChain) and light clients (FlyClient)
- Layer 2 scalability solutions, e.g., hub-based payment channels (UPC) and offline payments (OPS)
- Blockchain privacy, e.g., private smart contract transactions (Zether)
- Privacy-preserving auditability of large payment graphs (SPA)
- Privacy-preserving fraud detection using federated learning and multi-party computation
Basic Qualification
- Pursuing a Ph.D. in Computer Science or Computer Engineering, graduating December 2023 or later
Preferred Qualifications
- Research experience in one or more research areas related to blockchain, cryptography, and/or systems security
- Strong track record in research publications and impact in the research community
- Strong ability to collaborate
- Good team player and excellent interpersonal skills
- Good analytical and problem-solving skills
Closing date for applications:
Contact:
- Mahdi Zamani mzamani@visa.com
- Panos Chatzigiannis pchatzig@visa.com
More information: https://jobs.smartrecruiters.com/ni/Visa/3f9f072f-3f93-43c4-af03-ed492d9daf4b-phd-intern
Meta, Menlo Park, CA, USA
Job PostingChallenges and intern projects include incorporating approaches such as multi-party computation, homomorphic encryption, trusted execution environments, differential privacy, and federated learning to develop privacy-focused solutions while maintaining performance at massive scale, including cryptographic protocols, algorithms & tooling for machine learning or analytics. Research projects may include developing new or improving existing privacy-preserving solutions for areas such as: private record linkage, privacy-preserving ML and analytics.
For more details and to apply: https://www.metacareers.com/jobs/881989909611952/
Closing date for applications:
Contact: Gaven Watson
More information: https://www.metacareers.com/jobs/881989909611952/
30 January 2023
Tarun Chitra, Matheus V. X. Ferreira, Kshitij Kulkarni
ePrint ReportLuciano Freitas, Andrei Tonkikh, Adda-Akram Bendoukha, Sara Tucci-Piergiovanni, Renaud Sirdey, Oana Stan, Petr Kuznetsov
ePrint ReportHomomorphic Sortition relies on Threshold Fully Homomorphic Encryption (ThFHE) and is tailored to proof-of-stake (PoS) blockchains, with several important optimizations with respect to prior proposals. In particular, unlike most existing SSLE protocols, it works with arbitrary stake distributions and does not require a user with multiple coins to be registered multiple times. Our protocol is highly parallelizable and can be run completely off-chain after setup.
Some blockchains require a sequence of rounds to have non-repeating leaders. We define a generalization of SSLE, called Secret Leader Permutation (SLP) in which the application can choose how many non-repeating leaders should be output in a sequence of rounds and we show how Homomorphic Sortition also solves this problem.
Gabrielle De Micheli, Duhyeong Kim, Daniele Micciancio, Adam Suhl
ePrint ReportVahid Amin-Ghafari, Mohammad Ali Orumiehchiha, Saeed Rostami
ePrint ReportRipon Patgiri, Laiphrakpam Dolendro Singh
ePrint ReportBologna, Italia, 25 May - 26 May 2023
Event CalendarSubmission deadline: 24 February 2023
Notification: 7 April 2023
Neuchâtel, Switzerland, 27 June - 30 June 2023
Event CalendarSubmission deadline: 17 January 2023
Notification: 27 April 2023
Chicago, USA, 2 July - 8 July 2023
Event CalendarSubmission deadline: 5 March 2023
Guangzhou, China, 4 December - 8 December 2023
Asiacrypt29 January 2023
Lyon, France, 23 April 2023
Event CalendarSubmission deadline: 7 March 2023
Canterbury, United Kingdom, 14 August - 16 August 2023
Event CalendarSubmission deadline: 3 March 2023
Yokohama, Japan, 29 August - 31 August 2023
Event CalendarSubmission deadline: 26 March 2023
Notification: 30 May 2023