NIST will host the Workshop on Formal Methods within Certification Programs (FMCP 2024) on July 23-25, 2024, at the National Cybersecurity Center of Excellence in Rockville, Maryland.
The goal of the workshop is to explore the use of formal methods within certification programs for cryptographic modules such as FIPS 140-3.
Topics for discussion include:
NIST is also soliciting research and discussion papers, surveys, presentations, case studies, panel proposals, and participation from all interested parties. Submissions must be provided electronically in PDF format and sent to fmcp [at] nist.gov (fmcp[at]nist[dot]gov). Authors of accepted submissions must guarantee that at least one of the authors will register and attend the conference to present. NIST will post the accepted papers and presentations on the workshop website. Proceedings will be published as a NISTIR after the event.
Agenda coming soon!
Hotel: Hilton Garden Inn & Homewood Suites Rockville-Gaithersburg
Address: 14975 Shady Grove Road, Rockville, MD 20850
Room Rate: $176 USD per night plus taxes. Group rate includes transportation to and from NCCoE and Breakfast at the adjoining hotel, Homewood Suites.
CLICK HERE to book your room
Last Day to Book: July 1, 2024
For more information, visit the hotel's website.
*Visitor Access Requirement:
For Non-US Citizens: Please have your valid passport for photo identification.
For US Permanent Residents: Please have your green card for photo identification.
For US Citizens: Please have your state-issued driver's license. Regarding Real-ID requirements, all states are in compliance or have an extension through May 2025.
NIST also accepts other forms of federally issued identification in lieu of a state-issued driver's license, such as a valid passport, passport card, DOD's Common Access Card (CAC), Veterans ID, Federal Agency HSPD-12 IDs, and Military Dependents ID.