|
The 1st MobiSec Special Session on Formal Security Verification (FSA 2024) Hotel
Emisia Sapporo, Sapporo, Japan, December 17-19,
2024 |
|
As
mobile internet usage continues to expand rapidly, ensuring robust security
is critical for protecting sensitive data and maintaining the integrity of
communication systems. Formal security verification techniques, which involve
mathematically proving the correctness and security of systems, offer a
promising approach to identifying and mitigating vulnerabilities in mobile
networks. This special session aims to explore recent advancements,
methodologies, and applications of formal security verification within the
context of mobile internet security. It seeks to bridge the gap between
theoretical frameworks and practical implementation, providing insights into
how mobile networks and applications can be designed and verified for optimal
security through formal methods. This
session will provide a platform for discussing innovative approaches to
applying formal verification in the mobile security domain, highlighting
practical challenges, theoretical advancements, and future directions in the
field. TOPICS
(not limited to) - Formal Methods for Security Verification - Model Checking and Theorem Proving for Mobile Internet
Security - Formal Verification of Network and Security Protocols - Formal Security Verification of Mobile Systems - Formal Security Verification of Mobile Applications - Formal Security Verification of IoT Devices for Mobile
Networks - Automated Formal Security Verification Tools - Verification of Secure Software Updates in Mobile
Systems - Privacy and Data Integrity Verification in Mobile
Networks - Scalability Challenges in Formal Verification for
Mobile Networks IMPORTANT
DATES -
Paper submission deadline: October 1, 2024 (KST/JST) -
Acceptance Notification: October 30, 2024 (KST/JST) -
Final version deadline: November 8, 2024 (KST/JST) PAPER
SUBMISSION Authors
are invited to submit papers: they must not substantially duplicate work that
any of the authors have published elsewhere or have submitted in parallel to
any other conferences that have proceedings. An
accepted paper must be registered before the registration deadline and
presented at the conference. Failure to register before the deadline will
result in automatic withdrawal of the paper from the conference proceedings
and the program. - The submission file is in PDF or PS file format
produced via ¡¤
the
Easychair Latex Class file (US letter size) ¡¤
the
Easychair Microsoft Word file - Each paper should be at least 5 pages long based on the
Easychair style. - Submission of a paper implies that should the paper be
accepted, at least one
of the authors will register and present the paper at the workshop. - During submission, please select ¡°MobiSec
2024 - Formal Security Verification¡± The
submission of contributions to MobiSec 2024 must
occur through the conference submission system: https://easychair.org/conferences/?conf=mobisec20240 PROCEEDINGS
Proceedings of MobiSec 2024 will be available to the attendees. - During MobiSec 2024, all the
papers will be available in the preliminary online-proceedings (non-official
publication). -The outstanding papers will be invited for publication
of extended and revised versions in Springer CCIS or SCIE journals (confirmed). Special
Session Chairs Kyungmin
Bae,
POSTECH, South Korea, Email: kmbae@postech.ac.kr Daniele
Bringhenti, The
Polytechnic University of Turin, Italy, Email: daniele.bringhenti@polito.it Important
Dates - Paper submission deadline: October 1,
2024 (KST/JST) - Acceptance Notification: October 30, 2024
(KST/JST) - Final version deadline: November 8, 2024
(KST/JST) |