2 papers
cs.CR2025
Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
Enis Golaszewski, Alan T. Sherman, Edward Zieglar +2
As a case study in cryptographic binding, we present a formal-methods analysis of the cryptographic channel binding mechanisms in the Fast IDentity Online (FIDO) Universal Authenti…
cs.LO2025
Formal Verification of Isothermal Chemical Reactors
Parivash Feyzishendi, Sophia Hamer, Jinyu Huang +1
Chemical reactors are dynamic systems that can be described by systems of ordinary differential equations (ODEs). Reactor safety, regulatory compliance, and economics depend on whe…