Conférences  >  Mathématiques  >  Cryptographie, blockchain et sécurité de l'information  >  États-Unis

Sélecionner un pays
5th NIST Post-Quantum Cryptography Standardization Conference
10 avr 2024 - 12 avr 2024 • Rockville, Maryland, États-Unis
The purpose of the conference is to discuss various aspects of the algorithms (both those selected and those being evaluated) and to obtain valuable feedback for informing decisions on standardization. NIST will invite the submission teams for BIKE, Classic McEliece, Falcon, and HQC to give an update on their algorithms.
Identifiant de l'évènement:
AIM Workshop — Post-quantum group-based cryptography
29 avr 2024 - 03 mai 2024 • Pasadena, California, États-Unis
American Institute of Mathematics (AIM)
This workshop, sponsored by AIM and the NSF, will be devoted to developing post-quantum group-based cryptosystems with rigorous security analysis. The goal of Post-Quantum Cryptography (PQC) is to design cryptosystems which are secure against classical and quantum adversaries. A fundamental assumption in PQC is that there are some computational problems that remain hard in the quantum setting. The main families of PQC systems include code-based, hash-based, lattice-based, and multivariate-based and isogeny-based cryptography. Recent attacks on popular NIST candidates, multivariate- and isogeny-based systems, emphasized the need for diversity of post-quantum approaches and pushed NIST to issue a new call for post-quantum signature schemes in 2023. The purpose of this workshop is to explore an alternative approach to design post-quantum schemes : namely, group-based cryptography. This is another traditional approach for PQC that received less attention than the families mentioned above.
Identifiant de l'évènement:
HOST 2024 — IEEE International Symposium on Hardware Oriented Security and Trust 2024
01 mai 2024 - 04 mai 2024 • Washington, États-Unis
Rapid proliferation of computing and communication systems with increasing computational power and connectivity into every sphere of modern life has brought security to the forefront of system design, test, and validation processes. The emergence of new application spaces for these systems in the internet-of-things (IoT) regime is creating new attack surfaces as well as new requirements for secure and trusted system operation. Additionally, the design, manufacturing and the distribution of microchip, PCB, as well as other electronic components are becoming more sophisticated and globally distributed with a number of potential security vulnerabilities. Therefore, hardware plays an increasingly important and integral role in system security with many emerging system and application vulnerabilities and defense mechanisms relating to hardware.
Identifiant de l'évènement:
CT-RSA 2024 — The Cryptographers' Track at RSA Conference 2024
06 mai 2024 - 09 mai 2024 • San Francisco, États-Unis
RSA Conference is the premiere trade show for the security industry, hosting over 40,000 attendees each year from industry, government, and academia. The Cryptographers' Track (CT-RSA) is RSAC's venue for scientific papers on cryptography. It presents a unique opportunity for researchers to share their work with a broader audience than at a typical academic conference.
Date limite de soumission des résumés:
02 oct 2023
Identifiant de l'évènement:
ANTS XVI — Sixteenth Algorithmic Number Theory Symposium
15 jul 2024 - 19 jul 2024 • Massachusetts Institute of Technology, Cambridge, Massachusetts, États-Unis
The ANTS meetings, held biannually since 1994, are the premier international forum for the presentation of new research in computational number theory and its applications. They are devoted to algorithmic aspects of number theory, including elementary number theory, algebraic number theory, analytic number theory, geometry of numbers, algebraic geometry, finite fields, and cryptography.
Identifiant de l'évènement:
FMCP 2024 — NIST Workshop on Formal Methods within Certification Programs 2024
23 jul 2024 - 25 jul 2024 • Rockville, États-Unis
NIST will host the on Formal Methods within Certification Programs (FMCP 2024) on July 23-25, 2024, at the National Cybersecurity Center of Excellence in Rockville, Maryland.
Topics for discussion include: Software formal methods of different families: model checking, interactive proof, use of SMT and SAT solvers, static analysis How formal methods can fit within existing validation programs and potential impacts on stakeholders, e.g., pragmatics of allowing some current testing-based requirements to be fulfilled by submitting machine-checkable proofs or running certain automated tool Approaches to reduce the requirement for NIST and other standards authorities to trust vendors to validate their systems correctly, e.g., thanks to rechecking of formal proof Opportunities to build community understanding of formal methods through discussion in NIST reports, e.g., on how to think about the trust consequences of different combinations of formal tools Pragmatic paths to adoption that use less rigorous methods with shallower learning curves Overviews of current and upcoming NIST programs and tools (like the Automated Cryptographic Validation Testing System [ACVTS] and Automated Cryptographic Module Validation Protocol [AMVP]) that may both be of direct interest to formal-methods researchers and serve as examples of current modes of interaction with vendors
Date limite de soumission des résumés:
27 mai 2024
Identifiant de l'évènement:
Crypto 2024 — 44th Annual International Cryptology Conference
18 aou 2024 - 22 aou 2024 • Santa Barbara, États-Unis
Date limite de soumission des résumés:
13 fév 2024
Identifiant de l'évènement:
1604220 met à la disposition de ses visiteurs des listes de conférences et réunions dans le domaine scientifique. Ces listes sont publiées pour le bénéfice des personnes qui cherchent une conférence, mais aussi, bien sûr, pour celui des organisateurs. Noter que, malgré tout le soin que nous apportons à la vérification des données entrées dans nos listes, nous ne pouvons accepter de responsabilité en ce qui concerne leur exactitude ou étendue. Pensez donc à vérifier les informations présentées avec les organisateurs de la conférence ou de la réunion avant de vous engager à y participer!

Y'a pas de suivi | Y'a pas de pop-ups | Y'a pas d'animations
Dernière mise à jour: 1 février 2024