Felipe Boeira

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