JAIST Repository >

Items for Author "Escobar, Santiago"

Return to Browse by Author
Sort by Title Sorting by Date

Showing 1 items.

Date of IssueTitle Authors
26-Feb-2024 Proceedings of the 2nd International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols (FAVPQC), 2023Escobar, Santiago; Otmani, Ayoub; Akleylek, Sedat; Ogata, Kazuhiro

 


Contact : Library Information Section, JAIST (ir-sys[at]ml.jaist.ac.jp)