I am an information security researcher currently enrolled as a PhD student in the Computer Science Graduate School (CUGS) at Linköping University, Sweden. I have worked with research topics related to Linux kernel security in mobile devices, mobile data leak detection, and systems security resilience in general. Recently, I have been working on security aspects of vehicular networks and on formal verification of security properties in cryptographic protocols involving vehicular platooning and mobile networks (5G and beyond).
02/2023: I am delighted to share that my paper entitled "Provable Non-Frameability for 5G Lawful Interception" is accepted for publication in the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec).
09/2022: I am very happy to be a visiting researcher at University of California Irvine to collaborate with Gene Tsudik and his lab!
05/2022: I will serve the technical program committee of the 17th Swedish National Computer Networking Workshop (SNCNW 2022), to be held at KTH, Stockholm.
05/2022: I am happy to attend WiSec 2022 and present my ongoing research in a Poster entitled "No Doppelgänger: Advancing Mobile Networks Against Impersonation in Adversarial Scenarios".
04/2022: I will serve the technical program committee of Nordsec 2022, to be held in Reykjavik, Iceland.
12/2021: I am very happy to announce that my paper "Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol" is accepted to appear in Computer Security Foundations 2022 (to be held in Haifa, Israel). Also, big thanks to Mikael Asplund for supervision and co-authorship!
11/26/2021: Presented my 60% PhD seminar, an important milestone towards the beginning of the end :) .
08/2021: Participated as a member of the technical program committee in 'The 26th Nordic Conference on Secure IT Systems (NordSec)'.
03/2021: Presented about security in vehicular networks in the Rise/ELIN internal workshop.
08/2020: Participated as poster session chair in 'The 25th Nordic Conference on Secure IT Systems (NordSec)'.
10/10/2019: Attended the Autosec FFI Conference at RISE Research Institutes of Sweden, Stockholm.
9/23/2019: Paper "Can Microkernels Mitigate Microarchitectural Attacks?" accepted at Nordsec 2019, congratulations Patrik Lundgren and Gunnar Grimsdal!
9/23/2019 to 9/25/2019: The 14th International Conference on Critical Information Infrastructures Security (CRITIS) is going to be hosted at Linköping University!
9/17/2019 to 9/20/2019: Attending the 15th European Dependable Computing Conference to discuss my recent work on "Formalizing Security Properties of the ENSEMBLE Platooning Protocol" in Naples, Italy.
7/27/2019: I am glad to announce that my paper entitled "Decentralized Proof of Location in Vehicular Ad Hoc Networks" was accepted for publication in the MSWiM special issue of the Computer Communications Journal.
6/3/2019 to 6/4/2019: Attended the Swedish IT Security Network for PhD Students in Karlstad, Sweden
12/5/2018 to 12/7/2018: Attended Vehicular Networking Conference (VNC) to present my paper entitled "Mitigating Position Falsification Attacks in Vehicular Platooning" in Taipei, Taiwan
11/22/2018: Attended Workshop on Wireless Vehicular Communications (WWVC) in Halmstad, Sweden
10/28/2018 to 11/02/2018: Attended MSWIM to present my paper entitled "Vouch: A Secure Proof-of-Location Scheme for VANETs" in Montreal, Canada
6/11/2018 to 6/15/2018: Attended Cysep/Swits in Stockholm/Sweden
2/8/2018: Awarded grade A in the master's thesis defense from Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
11/27/2017 to 11/29/2017: Presented work in the IEEE Vehicular Networking Conference (VNC) in Torino/Italy
6/26/2017 to 6/30/2017: Attended the International Summer School on Latency Control for Internet of Services in Karlstad/Sweden
6/12/2017 to 6/15/2017: Presented a poster at IFIP Networking in Stockholm/Sweden
4/26/2017 to 4/27/2017: Attended the ELLIIT workshop in Lund/Sweden
Peer-reviewed articles in journals, books, conferences and workshops
F. Boeira, M. Asplund, and M. Barcellos, "Provable Non-Frameability for 5G Lawful Interception," in the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec), 2023.
A. B. Usman, N. Cole, M. Asplund, F. Boeira, and C. Vestlund, "Remote Attestation Assurance Arguments for Trusted Execution Environments," in the 3rd ACM Workshop on Secure and Trustworthy Cyber-physical Systems (Sat-CPS), 2023.
F. Boeira, M. Asplund, "Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol," in the 35th IEEE Computer Security Foundations Symposium (CSF), 2022.
F. Boeira, M. Asplund, M. Barcellos, "No Doppelgänger: Advancing Mobile Networks Against Impersonation in Adversarial Scenarios," in the 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2022.
C. F. E. de Melo et al., "UAVouch: A Secure Identity and Location Validation Scheme for UAV-Networks," in IEEE Access, 2021. doi: ACCESS.2021.3087084
G. Grimsdal, P. Lundgren, C. Vestlund, F. Boeira, and M. Asplund, "Can Microkernels Mitigate Microarchitectural Attacks?," in Nordic Conference on Secure IT Systems, 2019. doi: 10.1007/978-3-030-35055-0_15
F. Boeira, M. Asplund, and M. P. Barcellos, "Decentralized Proof of Location in Vehicular Ad Hoc Networks," in Elsevier Computer Communications, 2019. doi: j.comcom.2019.07.024
F. Boeira, M. Asplund, and M. P. Barcellos, "Mitigating Position Falsification Attacks in Vehicular Platooning," in Vehicular Networking Conference (VNC), IEEE, 2018. doi: 10.1109/VNC.2018.8628427
F. Boeira, M. Asplund, and M. P. Barcellos, "Vouch: A Secure Proof-of-Location Scheme for VANETs," In Proceedings of the 21st ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWIM '18). ACM, 241-248. doi: 10.1145/3242102.3242125
F. Boeira, M. P. Barcellos, E. P. de Freitas, A. Vinel and M. Asplund, "Effects of colluding Sybil nodes in message falsification attacks for vehicular platooning," 2017 IEEE Vehicular Networking Conference (VNC), Torino, 2017, pp. 53-60.
F. Boeira, M. P. Barcellos, E. P. de Freitas, A. Vinel and M. Asplund, "On the impact of sybil attacks in cooperative driving scenarios," 2017 IFIP Networking Conference (IFIP Networking) and Workshops, Stockholm, 2017, pp. 1-2.
T. Rocha, E. Souto, B. Cássio, D. Azulay, A. Monteiro, F. Boeira, P. Minatel and B. Silva, "Data leakage detection in Tizen Web applications," 2016 14th Annual Conference on Privacy, Security and Trust (PST), Auckland, 2016, pp. 608-614.
Talks in conferences
10/22/2016: Android Resiliency Defense Strategy, Hackers to Hackers Conference (H2HC), São Paulo
10/6/2016: IoT Security Risks, The Developer's Conference Porto Alegre
11/25/2014: Yet Another Android Security Feature, Blackhat São Paulo
Master's Thesis Supervision Ongoing
Fabian Haugen: Integrating location attestation with software integrity proofs in vehicular ad hoc networks
Master's Thesis Supervision Finished
Christina Dahlén and Erica Weistrand: Implementation of distribution in the single-node message broker LavinMQ
Matilda Engström Ericsson: Security in rootless containers
Edwin Forsberg and Carl Harris: Sorting of scrap metal using transformers
Johannes Wilson: Formal Verification of Remote Attestation for Samsung Knox Mobile Devices
Cecilia Malmrud: Determining confidence in test quality assessment in large-scale software development
William Sjöblom: Idiom-driven innermost loop vectorization in the presence of cross-iteration data dependencies in the HotSpot C2 compiler
Anna Pestrea: Fuzz testing on eNodeB over the air interface
Niklas Larsson and Hampus Runesson: A study on the use of ARKit to extract and geo-reference floor plans
David Lantz: Detection of side-channel attacks targeting Intel SGX
Anton Landor: Runtime Monitoring on a Real-Time Embedded System
Tjelvar Guo and Daniel Herzegh: Availability of Smart Contracts that Rely on External Data
Gunnar Grimsdal and Patrik Lundgren: Examining the Impact of Microarchitectural Attacks on Microkernels
Nigel Cole: Arguing assurance in Trusted Execution Environments using Goal Structuring Notation – A remote attestation assurance use case for Keystone
Erik Asklöf and Dutsadi Bunliang: Data Analysis of Electric Vehicle User Charging Behavior
Anton Andell and Oliver Johns: TUF on the Tangle – Securing software updates using a distributed ledger
Niklas Hätty: Representing attacks in a cyber range
Gunnar Grimsdal and Patrik Lundgren: Examining the impact of micro-architectural attacks on micro-kernels – a study of Meltdown and Spectre
Anton Hölscher: The Latency Effects of Utilizing a Microservice Architecture in a Time-Critical System