Felipe Boeira

According to our database, Felipe Boeira authored at least 16 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Provably Secure Communication Protocols for Remote Attestation.

Johannes Wilson, Mikael Asplund, Niklas Johansson, Felipe Boeira

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024

2023

Authentic Communication and Trustworthy Location in Mobile Networks.

Felipe Boeira

PhD thesis, 2023

Provable Non-Frameability for 5G Lawful Interception.

Felipe Boeira, Mikael Asplund, Marinho P. Barcellos

Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2023

Remote Attestation Assurance Arguments for Trusted Execution Environments.

Ahmad B. Usman, Nigel Cole, Mikael Asplund, Felipe Boeira, Christian Vestlund

Proceedings of the Sat-CPS@CODASPY 2023: Proceedings of the 2023 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems, 2023

2022

No Doppelgänger: Advancing Mobile Networks Against Impersonation in Adversarial Scenarios.

Felipe Boeira, Mikael Asplund, Marinho P. Barcellos

Proceedings of the WiSec '22: 15th ACM Conference on Security and Privacy in Wireless and Mobile Networks, San Antonio, TX, USA, May 16, 2022

Towards Self-monitoring Enclaves: Side-Channel Detection Using Performance Counters.

David Lantz, Felipe Boeira, Mikael Asplund

Proceedings of the Secure IT Systems, 2022

Evaluation of an SDN-based Microservice Architecture.

Anton Hölscher, Mikael Asplund, Felipe Boeira

Proceedings of the 8th IEEE International Conference on Network Softwarization, 2022

Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol.

Felipe Boeira, Mikael Asplund

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022

2021

UAVouch: A Secure Identity and Location Validation Scheme for UAV-Networks.

Carlos Felipe Emygdio de Melo, Tulio Dapper e Silva, Felipe Boeira, Jorgito Matiuzzi Stocchero, Alexey V. Vinel, Mikael Asplund, Edison Pignaton de Freitas

IEEE Access, 2021

2019

Decentralized proof of location in vehicular Ad Hoc networks.

Felipe Boeira, Mikael Asplund, Marinho P. Barcellos

Comput. Commun., 2019

Can Microkernels Mitigate Microarchitectural Attacks?

Gunnar Grimsdal, Patrik Lundgren, Christian Vestlund, Felipe Boeira, Mikael Asplund

Proceedings of the Secure IT Systems, 2019

2018

Mitigating Position Falsification Attacks in Vehicular Platooning.

Felipe Boeira, Mikael Asplund, Marinho P. Barcellos

Proceedings of the 2018 IEEE Vehicular Networking Conference, 2018

Vouch: A Secure Proof-of-Location Scheme for VANETs.

Felipe Boeira, Mikael Asplund, Marinho P. Barcellos

Proceedings of the 21st ACM International Conference on Modeling, 2018

2017

Effects of colluding Sybil nodes in message falsification attacks for vehicular platooning.

Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Alexey V. Vinel, Mikael Asplund

Proceedings of the 2017 IEEE Vehicular Networking Conference, 2017

On the impact of sybil attacks in cooperative driving scenarios.

Felipe Boeira, Marinho P. Barcellos, Edison Pignaton de Freitas, Alexey V. Vinel, Mikael Asplund

Proceedings of the 2017 IFIP Networking Conference, 2017

2016

Data leakage detection in Tizen Web applications.

Thiago S. Rocha, Eduardo Souto, Brandell Cassio, Diego Azulay, Alex Monteiro, Felipe Boeira, Pedro Minatel, Breno Silva

Proceedings of the 14th Annual Conference on Privacy, Security and Trust, 2016