Loading...

Special Session on Formal Security Verification (FSA'25)

https://www.manuscriptlink.com/society/kiisc/conference/mobisec2025/fsa2025.htm



Special Session Chairs

- Kyungmin Bae (POSTEC, South Korea)
- Hideki Sakurada (ZEN University, Japan)

Submission Deadline: August 22, 2025 (KST/JST)


________________________________________________________________________


Special Session on Secure and Cognitive Continuum (SECON'25)

https://www.manuscriptlink.com/society/kiisc/conference/mobisec2025/secon25.htm



Special Session Chairs

- Antonio Skarmeta (University of Murcia, Spain)
- Panagiotis Kokkinos (National Technical University of Athens, Greece)
- Stefano Sebastio (Collins, Ireland)

Submission Deadline: September 16, 2025 (KST/JST)