FOM

2023

1. FAVPQC

   Reachability Analysis of the Equivalence of Two Terms in Free Orthomodular Lattices

   Tsubasa Takagi, Canh Minh Do, and Kazuhiro Ogata

   In The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (collocated at ICFEM 2023), Sep 2023

   Bib PDF

   @inproceedings{Tsubasa23FOM,
     author = {Takagi, Tsubasa and Minh Do, Canh and Ogata, Kazuhiro},
     title = {Reachability Analysis of the Equivalence of Two Terms in Free Orthomodular Lattices},
     booktitle = {The 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (collocated at ICFEM 2023)},
     year = {2023}
   }