Conferences  >  Mathematics  >  Cryptography, Blockchain and Information Security  >  United States

Select a location
1
ANTS XVI — Sixteenth Algorithmic Number Theory Symposium
15 Jul 2024 - 19 Jul 2024 • Massachusetts Institute of Technology, Cambridge, Massachusetts, United States
Abstract:
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.
Event listing ID:
1523985
Related subject(s):
2
FMCP 2024 — NIST Workshop on Formal Methods within Certification Programs 2024
23 Jul 2024 - 25 Jul 2024 • Rockville, United States
Organizer:
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:
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
Abstract submission deadline:
27 May 2024
Event listing ID:
1604306
3
Crypto 2024 — 44th Annual International Cryptology Conference
18 Aug 2024 - 22 Aug 2024 • Santa Barbara, United States
Abstract submission deadline:
13 Feb 2024
Event listing ID:
1604308


Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!

No tracking | No pop-ups | No animations
Last updated: 1 February 2024