Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, and Konstantinos Sagonas. Testing IoT Protocol Requirements Using Fuzzing and Symbolic Execution: Application to CoAP, IEEE Conference on Standards for Communication and Networking (CSCN 2024), November 2024. To appear.
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, and Konstantinos Sagonas. Trading Space for Simplicity in Stateless Model Checking, Real Time and Such, Volume 15230 in LNCS, pages 79-97, October 2024. (DOI)
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, and Fredrik Tåquist. SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs, ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2024), pages 1866-1870, September 2024. (DOI, Artifact)
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, and Konstantinos Sagonas. Monitor-based Testing of Network Protocol Implementations Using Symbolic Execution, ARES ‘24: International Conference on Availability, Reliability and Security, Article No. 17, pages 1-12, July/August 2024. (DOI, Artifact)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Sarbojit Das, Bengt Jonsson, and Konstantinos Sagonas. Parsimonious Optimal Dynamic Parial Order Reduction, 36th International Conference on Computer Aided Verification (CAV 2024), Volume 14682 in LNCS, pages 19-43, July 2023. (DOI, Preprint with Proofs, Artifact)
Luca Mottola, Arslan Hameed, and Thiemo Voigt. Energy Attacks in the Battery-less Internet of Things: Directions for the Future. EuroSec’24: Proceedings of the 17th European Workshop on Systems Security, pages 29-36, April 2024. (DOI)
Saad Ahmed, Bashima Islam, Kasim Sinan Yildirim, Marco Zimmerling, Przemysław Pawełczak, Muhammad Hamad Alizai, Brandon Lucia, Luca Mottola, Jacob Sorber, and Josiah Hester. The Internet of Batteryless Things. Communications of the ACM, Volume 67, Issue 3, pages 64-73, March 2024. (DOI)
Simon Dierl, Paul Fiterau-Brostean, Falk Howar, Bengt Jonsson, Konstantinos Sagonas, and Fredrik Tåquist. Scalable Tree-based Register Automata Learning. 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024). Volume 14571 in LNCS, pages 87-108, April 2024. (DOI, Preprint with Proofs, Artifact)
Anum Khurshid, Mudassar Aslam, Simon Bouget, and Shahid Raza. TruCerT: Trusted certification of IoT devices using hardware-based root-of-trust. International Journal of Internet of Things and Cyber-Assurance. To appear. (DOI)
Sandip Ghosal, Bengt Jonsson, and Philipp Ruemmer. An Active Learning Approach to Synthesizing Program Contracts. 21st International Conference on Software Engineering and Formal Methods (SEFM 2023). Volume 14323 in LNCS, pages 126-144, November 2023. (DOI)
Chetna Singhal, Thiemo Voigt, and Luca Mottola. Application-aware Energy Attack Mitigation in the Battery-less Internet of Things. International ACM Symposium on Mobility Management and Wireless Access (MobiWac 2023), pages 35–43, October/November 2023. (DOI)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Frederik Meyer Bønneland, Sarbojit Das, Bengt Jonsson, Magnus Lång, and Konstantinos Sagonas. Tailoring Stateless Model Checking for Event-Driven Multi-Threaded Programs. 21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023), Volume 14216 in LNCS, pages 176-198, October 2023. (DOI, Preprint with Proofs)
Konstantinos Sagonas and Thanasis Typaldos. EDHOC-Fuzzer: An EDHOC Protocol State Fuzzer. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2023), pages 1495-1498, July 2023. (DOI, PDF)
Anum Khurshid, Sileshi D. Yalew, Mudassar Aslam, and Shahid Raza. ShieLD: Shielding Cross-zone Communication within Limited-resourced IoT Devices running Vulnerable Software Stack. IEEE Transactions on Dependable and Secure Computing. Volume 20, Issue 2, pages 1031-1047, March-April 2023. (DOI)
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, and Fredrik Tåquist. Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations. Network and Distributed System Security Symposium (NDSS 2023), February 2023. (@NDSS’2023, DOI, PDF, Artifact)
Anum Khurshid and Shahid Raza. AutoCert: Automated TOCTOU-secure digital certification for IoT with combined authentication and assurance. Elsevier Computers and Security. Volume 124, January 2023. (DOI)
Sandip Ghosal and R. K. Shyamasundar. Preventing Privacy-Violating Information Flows in JavaScript Applications Using Dynamic Labelling. 18th International Conference on Information Systems Security (ICISS 2022), pages 202-219, December 2022. (DOI)
Anum Khurshid, R. Alsaaidi, Mudassar Aslam, and Shahid Raza. EU Cybersecurity Act and IoT Certification: Landscape, Perspective and a Proposed Template Scheme. IEEE Access 10 (2022): 129932-129948.
Bengt Jonsson, Magnus Lång, and Konstantinos Sagonas. Awaiting for Godot: Stateless Model Checking that Avoids Executions where Nothing Happens. Formal Methods in Computer-Aided Design (FMCAD 2022), pages 284-293, October 2022. (DOI, Preprint with Proofs)
Clément Poncelet, Konstantinos Sagonas, and Nicolas Tsiftes. So Many Fuzzers, So Little Time - Experience from Evaluating Fuzzers on the Contiki-NG Network (Hay)Stack. 37th IEEE/ACM International Conference on Automated Software Engineering (ASE22), article 95, 12 pages, October 2022. ACM. (DOI, PDF, Slides, Artifact Repository)
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, and Konstantinos Sagonas. Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. Presentation at the 3rd International KLEE Workshop on Symbolic Execution, September 2022. (Slides)
George Oikonomou, Simon Duquennoy, Atis Elsts, Joakim Eriksson, Yasuyuki Tanaka, and Nicolas Tsiftes. The Contiki-NG open source operating system for next generation IoT devices. SoftwareX. Vol 18, June 2022. (DOI)
Fulvio Bambusi, Francesco Cerizzi, Yamin Lee, and Luca Mottola. The Case for Approximate Intermittent Computing. 21st IEEE International Conference on Information Processing in Sensor Networks (IPSN), May 2022. (DOI)
Niels Hokke, Suryansh Sharma, Venkatesha Prasad, Luca Mottola, Sujay Narayana, Vijay Rao, and Nikos Kouvelas. RF Information Harvesting for Medium Access in Event-driven Batteryless Sensing. 21st IEEE International Conference on Information Processing in Sensor Networks (IPSN), May 2022. (DOI)
Mikhail Afanasov, Naveed Anwar Bhatti, Koustabh Dolui, and Luca Mottola. Embedded Sensing through Energy Harvesting at the Mithraeum of Circus Maximus. Chapter in “Il Mitreo del Circo Massimo: Studio Preliminare di un Monumento Inedito tra Archeologia, Conservazione e Fruizione”. Federica Fontana ed Emanuela Murgia eds., EUT – Polymnia Archeologia, 2022.
Anum Khurshid, Sileshi D. Yalew, Mudassar Aslam, and Shahid Raza. TEE-Watchdog: Mitigating Unauthorized Activities within Trusted Execution Environments in ARM-Based Low-Power IoT Devices. Security and Communication Networks. May 2022. (DOI)
Hooman Asadian, Paul Fiterau-Brostean, Bengt Jonsson, and Konstantinos Sagonas. Applying Symbolic Execution to Test Implementations of a Network Protocol Against its Specification. 15th IEEE International Conference on Software Testing, Verification and Validation (ICST 2022), pages 70-81, April 2022. (DOI, PDF, Replication Material)
Paul Fiterau-Brostean, Bengt Jonsson, Konstantinos Sagonas, and Fredrik Tåquist. DTLS-Fuzzer: A DTLS Protocol State Fuzzer. 15th IEEE International Conference on Software Testing, Verification and Validation (ICST 2022), pages 456-458, April 2022. (DOI, PDF, Demo Video)
Andrea Maioli, Luca Mottola, Junaid Siddiqui, and Hamad Alizai. Discovering the Hidden Anomalies of Intermittent Computing. 18th ACM International Conference on Embedded Wireless Systems and Networks (EWSN), February 2021. (PDF, Talk Video)
Mikhail Afanasov, Naveed Bhatti, Dennis Campagna, Giacomo Caslini, Fabio Massimo Centonze, Koustabh Dolui, Andrea Maioli, Erica Barone, Muhammad Hamad Alizai, Junaid Haroon Siddiqui, and Luca Mottola. Battery-less Zero-maintenance Embedded Sensing at the Mithraeum of Circus Maximus. 18th ACM International Conference on Embedded Networked Sensor Systems (SENSYS), November 2020. (PDF, Teaser Video, Talk Video)
Andrea Maioli and Luca Mottola. Intermittence Anomalies not Considered Harmful. 8th ACM International Workshop on Energy Harvesting and Energy-neutral Sensing Systems (ENSSYS - colocated with ACM SENSYS), November 2020. Best Paper Award and Best Pitch Video Award. (PDF, Pitch Video, Talk Video)
Hafiz Areeb Asad, Erik Wouters, Naveed Bhatti, Luca Mottola, and Thiemo Voigt. On Securing Persistent State in Intermittent Computing. 8th ACM International Workshop on Energy Harvesting and Energy-neutral Sensing Systems (ENSSYS - colocated with ACM SENSYS), November 2020. (PDF, Teaser Video)
Phillip van Heerden, Moeketsi Raselimo, Konstantinos Sagonas, and Bernd Fischer. Grammar-Based Testing for Little Languages. 13th ACM SIGPLAN International Conference on Software Language Engineering (SLE ‘20), pages 253-269, November 2020. ACM. (DOI, PDF, Video)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janku, Hsin-Hung Lin, Lukás Holík, and Wei-Cheng Wu. Efficient handling of string-number conversion. 41st ACM SIGPLAN Int. Conf. on Programming Language Design and Implementation (PLDI 2020), pages 943-957, June 2020. ACM. (DOI)
Magnus Lång and Konstantinos Sagonas. Parallel Graph-Based Stateless Model Checking. International Symposium on Automated Technology for Verification and Analysis (ATVA 2020), Volume 12302 in LNCS, pages 337-393, October 2020. Springer. (DOI, PDF, Video)
Paul Fiterau-Brostean, Bengt Jonsson, Robert Merget, Joeri de Ruiter, Konstantinos Sagonas, and Juraj Somorovsky. Analysis of DTLS Implementations Using Protocol State Fuzzing. 29th USENIX Security Symposium (USENIX Security 20), August 2020. USENIX Association. (@USENIX, PDF, Video, Blog post about CVE-2020-2655)
Saad Ahmed, Qurat Ul Ain, Junaid Siddiqui, Luca Mottola, and Hamad Alizai. Intermittent Computing with Dynamic Voltage and Frequency Scaling. 17th ACM International Conference on Embedded Wireless Systems and Networks (EWSN), February 2020. (PDF)
Adriano Branco, Luca Mottola, Hamad Alizai, and Junaid Siddiqui. Intermittent Asynchronous Peripheral Operations. 17th ACM International Conference on Embedded Networked Sensor Systems (SENSYS), November 2019. (PDF)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Bengt Jonsson, Magnus Lång, Tuan Phong Ngo, and Konstantinos Sagonas. Optimal stateless model checking for reads-from equivalence under sequential consistency. PACMPL 3(OOPSLA): 150:1-150:29. October 2019. (DOI)
Saad Ahmed, Naveed Bhatti, Hamad Alizai, Junaid Siddiqui, and Luca Mottola. Efficient Intermittent Computing with Differential Checkpointing. 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 2019. (PDF)
Saad Ahmed, Abu Bhakar, Naveed Bhatti, Hamad Alizai, Junaid Siddiqui, and Luca Mottola. The Betrayal of Constant Power × Time: Finding the Missing Joules of Transiently-powered Computers. 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 2019. (PDF)
Andrea Maioli, Luca Mottola, Hamad Alizai, and Junaid Siddiqui. On Intermittence Bugs in the Battery-less Internet of Things. 20th ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), June 2019. (PDF)