Felipe Boeira

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 16

Top Topics

Communication Protocols

Vehicular Ad Hoc Networks

Security Analysis

Malicious Attacks

Top Venues

Publications

Johannes Wilson, Mikael Asplund, Niklas Johansson, Felipe Boeira
Provably Secure Communication Protocols for Remote Attestation. ARES (2024)
Ahmad B. Usman, Nigel Cole, Mikael Asplund, Felipe Boeira, Christian Vestlund
Remote Attestation Assurance Arguments for Trusted Execution Environments. SAT-CPS@CODASPY (2023)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
Provable Non-Frameability for 5G Lawful Interception. WISEC (2023)
Anton Hölscher, Mikael Asplund, Felipe Boeira
Evaluation of an SDN-based Microservice Architecture. NetSoft (2022)
Felipe Boeira, Mikael Asplund
Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol. CSF (2022)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
No Doppelgänger: Advancing Mobile Networks Against Impersonation in Adversarial Scenarios. WISEC (2022)
David Lantz, Felipe Boeira, Mikael Asplund
Towards Self-monitoring Enclaves: Side-Channel Detection Using Performance Counters. NordSec (2022)
Felipe Boeira, Mikael Asplund
Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol. CoRR (2021)
Carlos Felipe Emygdio de Melo, Tulio Dapper e Silva, Felipe Boeira, Jorgito Matiuzzi Stocchero, Alexey V. Vinel, Mikael Asplund, Edison Pignaton de Freitas
UAVouch: A Secure Identity and Location Validation Scheme for UAV-Networks. IEEE Access 9 (2021)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
Decentralized proof of location in vehicular Ad Hoc networks. Comput. Commun. 147 (2019)
Gunnar Grimsdal, Patrik Lundgren, Christian Vestlund, Felipe Boeira, Mikael Asplund
Can Microkernels Mitigate Microarchitectural Attacks? NordSec (2019)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
Mitigating Position Falsification Attacks in Vehicular Platooning. VNC (2018)
Felipe Boeira, Mikael Asplund, Marinho P. Barcellos
Vouch: A Secure Proof-of-Location Scheme for VANETs. MSWiM (2018)
Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Alexey V. Vinel, Mikael Asplund
Effects of colluding Sybil nodes in message falsification attacks for vehicular platooning. VNC (2017)
Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Alexey V. Vinel, Mikael Asplund
On the impact of sybil attacks in cooperative driving scenarios. Networking (2017)
Thiago S. Rocha, Eduardo Souto, Brandell Cassio, Diego Azulay, Alex Monteiro, Felipe Boeira, Pedro Minatel, Breno Silva
Data leakage detection in Tizen Web applications. PST (2016)