I am co-organizing (jointly with MIT CSAIL, USA and AI Chip Design Centre, Japan) a special session on AI-based Safe, Secure, and Sustainable (I)IoT in ETFA 2024.
Our paper AndroDex: Android Dex Images of Obfuscated Malware is accepted in Nature.
Jan 2024I am honored to be an invited speaker at Contract Languages, Lorentz Center@Oort, Netherlands.
I am honored to be an invited speaker at International Conference on Pattern Analysis and Intelligent Systems (PAIS) 2024, Algeria.
Our paper Towards a DeepMalOb Improvement in the Use of Formal Security Risk Analysis Methods is accepted in the proceedings of CloudTech.
Nov 2023Our paper CyberSecurity for Autonomous Vehicles Against Malware Attacks in Smart-Cities has been accepted in Cluster Computing.
Oct 2023I was honored to be a keynote speaker at International Conference on IT and Industrial Technologies (ICIT) 2023, Pakistan.
Sep 2023I was honored to be a keynote speaker at 7th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS), Turkey.
Jun 2023Our paper Towards Run-Time Security Monitoring of Distributed Industrial Control Systems has been accepted in ETFA 2023.
I am honored to be a keynote speaker at 7th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS).
I am honored to be a keynote speaker at International Conference on IT and Industrial Technologies (ICIT) 2023.
May 2023I am excited and honoured to serve PC committee of 25th Workshop on Formal Techniques for Java-like Programs (FTfJP).
Feb 2023I am co-organizing (jointly with MIT CSAIL, USA and AI Chip Design Centre, Japan) a special session on Design and Enforcement of Safety, Security, Privacy and Law in Society 5.0 in ETFA 2023.
Nov 2022Our paper Challenges in Modelling Applications for Safe and Resilient Digital Twins has been published in the proceedings of IEEE International Smart Citities Conference 2022.
Our paper Towards Practical and Formal Security Risk Analysis of IoT Applications has been published in the proceedings of ETFA 2022.
Our paper On the Performance and Scalability of Simulators for Improving Security and Safety of Smart-City has been published in the proceedings of ETFA 2022.
Oct 2022Honoured to be an invited speaker at practical cyber security conference DeepSec 2022, Vienna, Austria.
Aug 2022Our paper Challenges in Modelling Applications for Safe and Resilient Digital Twins has been accepted in IEEE International Smart Citities Conference 2022.
Jul 2022Our paper Towards Practical and Formal Security Risk Analysis of IoT Applications has been accepted in ETFA 2022.
Jun 2022Final review of our flagship H2020 project ENSURESEC is scheduled on June 28, 2022.
Our paper On the Performance and Scalability of Simulators for Improving Security and Safety of Smart-City has been accepted in ETFA 2022.
May 2022Our flagship H2020 project ENSURESEC has successfully concluded.
Feb 2022I am excited and honoured to join PC member of 24th Workshop on Formal Techniques for Java-like Programs (FTfJP).
Jan 2022I am co-organizing (jointly with MIT CSAIL, USA and AI Chip Design Centre, Japan) a special session on Model-based/Data-driven Safety, Security and Privacy in Society 5.0 in ETFA 2022.
Dec 2021I am honoured to contribute to FME Education activities as my course on formal methods is added to FME courses database.
I am very excited to join the Formal Methods Europe community, that encourages teaching, research and development of formal methods activities.
Our paper Towards Scalable Security of Real-time Applications : A Formally Certified Approach has been published in proceedings of ETFA 2021.
Nov 2021Our research proposal Automated Synthesis of Runtime Monitors for Safe and Secure Distributed Industrial Control Systems has been accepted for funding by HFRI. I am serving as co-I.
Sep 2021I have successfully co-organized a special session on AI and Machine Learning for Safety and Security in Society 5.0 in a very exciting industrial-academic joint event ETFA 2021 in Austria
Our paper Towards Scalable Security of Real-time Applications : A Formally Certified Approach has been published in ETFA 2021.
Jul 2021Our team has won the second prize in an international Legal Hackhathon on their idea of providing digital rights to socially less-privileged communities. Congratulations!
Jun 2021Our paper Securing Industrial Cyber–Physical Systems: A Run-Time Multilayer Monitoring has been published in a premier IEEE Transactions on Industrial Informatics.
I am organzing an interdisciplinary roundtable discussion among experts from academia, legal tech and law profession.
Our paper Towards Scalable Security of Real-time Applications : A Formally Certified Approach has been accepted in ETFA 2021.
May 2021We are hiring a Project Support Officer for our joint interdisciplinary LETS-Lab.
I am co-organzing a very interesting event of Legal Hackathon on DigiRights as part of interdisciplinary LETS-Lab.
March 2021We are hiring a Research Fellow for our H2020 ENSURESEC project.
I am servig as PC member in International Workshop on Security and Forensics of IoT (IoT-SECFOR 2021).
I am servig as PC member in CPS4CIP, which is co-located with ESORICS 2021.
We are hiring two trainee software developers for ENSURESEC project.
February 2021I have successfully passed the EU level hackathon on SQL Injection organized by CYBERWISER.eu.
I am co-organizing (jointly with MIT CSAIL USA and AI Chip Design Centre Japan) a special session on AI and ML based Safe and Secure Society 5.0 in 26th International Conference on Emerging Technologies and Factory Automation (ETFA) 2021.
January 2021As part of our interdisciplinary innovative intiative LETS (i.e., Law and Technology), our very exciting proposal has been accepted for funding by HEIF (Higher Education Innovation Fund).
Our project proposal RESCUER has been accepted for funding by EU H2020. I am serving as Co-I of the project.
December 2020Our paper has been awarded as Best Paper/Presentation award at ETFA 2020.
October 2020Our paper Securing Industrial Cyber-Physical Systems: A Run-time Multi-layer Monitoring has been accepted in the premier IEEE Transactions on Industrial Informatics with SJR IF: 10.971.
On October 7, we have a kickoff meeting of WP5 of our very ambitious, exciting and challenging H2020 project ENSURESEC.
September 2020I have successfully co-organized a special session in a very exciting industrial-academic joint event ETFA 2020 in Austria
August 2020We have launched a website of our flagship H2020 project ENSURESEC
July 2020I am serving as technical foreign expert to a research project Responsible Safe and Secure Robotic Systems Engineering (SEEROSE) funded by Karl Popper Kolleg, Austria
June 2020On June 4 and 5, we have kickoff meeting of our very ambitious, exciting and challenging H2020 project ENSURESEC.
Our paper Rigorous Machine Learning for Secure and Autonomous Cyber Physical Systems has been accepted in ETFA 2020.
Our paper Runtime Protection of Real-time Critical Control Applications against Known Threats has been accepted in IEEE Design & Test.
April 2020We are hiring two post-doctoral research fellows in the area of run-time security and software security in the frame of our H2020 project ENSURESEC.
February 2020I am organizing a special session on security of real-time CPS in 25th International Conference on Emerging Technologies and Factory Automation (ETFA) 2020. Please consider to submit your work.
January 2020Our mega H2020 research grant ENSURESEC of approx. 10 Mio EURO has been accepted for funding. I am PI of the project. Further details, see here.
November 2019Our paper Automatic Repair of Timestamp Comparisons has been accepted for publication in IEEE Transactions in Software Engineering.
September 2019Our paper On Synthesis of Runtime Security Monitor for Real-time IoT Applications has won the Best Paper Award at ICS-CSR organized by AirBus.