Loading...

The 1st MobiSec Special Session on Formal Security Verification (FSA 2024)

https://www.manuscriptlink.com/society/kiisc/conference/mobisec2024/fsa2024.htm



Special Session Chairs

- Kyungmin Bae, POSTECH, South Korea
- Daniele Bringhenti, The Polytechnic University of Turin, Italy

Submission Deadline: October 1, 2024 (KST/JST)


________________________________________________________________________


Special Session on Secure and Cognitive Continuum (SECON 2024)

https://www.manuscriptlink.com/society/kiisc/conference/mobisec2024/secon24.htm



Special Session Chairs

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

Submission Deadline: October 1, 2024 (KST/JST)