| Provably Secure Communication Protocols for Remote Attestation J Wilson, M Asplund, N Johansson, F Boeira Proceedings of the 19th International Conference on Availability …, 2024 | | 2024 |
| Formal Verification and Security Assessment of the Drone Remote Identification Protocol S Khan, GS Gaba, F Boeira, A Gurtov 2024 2nd International Conference on Unmanned Vehicle Systems-Oman (UVS), 1-8, 2024 | 1 | 2024 |
| Remote Attestation Assurance Arguments for Trusted Execution Environments AB Usman, N Cole, M Asplund, F Boeira, C Vestlund Proceedings of the 2023 ACM Workshop on Secure and Trustworthy Cyber …, 2023 | 1 | 2023 |
| Authentic Communication and Trustworthy Location in Mobile Networks F Boeira PQDT-Global, 2023 | | 2023 |
| Provable Non-Frameability for 5G Lawful Interception F Boeira, M Asplund, M Barcellos | 2 | 2023 |
| Towards self-monitoring enclaves: Side-channel detection using performance counters D Lantz, F Boeira, M Asplund Nordic Conference on Secure IT Systems, 120-138, 2022 | 6 | 2022 |
| Exploiting Partial Order of Keys to Verify Security of a Vehicular Group Protocol F Boeira, M Asplund 2022 IEEE 35th Computer Security Foundations Symposium (CSF), 305-318, 2022 | 2 | 2022 |
| Evaluation of an SDN-based Microservice Architecture A Hölscher, M Asplund, F Boeira 2022 IEEE 8th International Conference on Network Softwarization (NetSoft …, 2022 | 2 | 2022 |
| No Doppelgänger: Advancing Mobile Networks Against Impersonation in Adversarial Scenarios F Boeira, M Asplund, M Barcellos Proceedings of the 15th ACM Conference on Security and Privacy in Wireless …, 2022 | | 2022 |
| UAVouch: a secure identity and location validation scheme for UAV-networks CFE de Melo, TD e Silva, F Boeira, JM Stocchero, A Vinel, M Asplund, ... IEEE Access 9, 82930-82946, 2021 | 34 | 2021 |
| Security for autonomous vehicles as seen from a societal and systems perspective M Asplund, V Ivanova, F Boeira | | 2021 |
| Method for providing a secure mode for mobile device applications BS Pinto, FCB Boeira, PH Minatel, BF Da Purificação US Patent 10,706,171, 2020 | 8 | 2020 |
| Method for verifying authenticity, configuring network credentials and cryptographic keys for internet of things (IoT) devices using near field communication (NFC) PH Minatel, SH Lee, BS Pinto, FCB Boeira US Patent 10,506,642, 2019 | 17 | 2019 |
| Can microkernels mitigate microarchitectural attacks? G Grimsdal, P Lundgren, C Vestlund, F Boeira, M Asplund Nordic Conference on Secure IT Systems, 238-253, 2019 | 4 | 2019 |
| Decentralized proof of location in vehicular ad hoc networks F Boeira, M Asplund, M Barcellos Computer Communications 147, 98-110, 2019 | 24 | 2019 |
| Mitigating position falsification attacks in vehicular platooning F Boeira, M Asplund, MP Barcellos 2018 IEEE Vehicular Networking Conference (VNC), 1-4, 2018 | 18 | 2018 |
| Vouch: A secure proof-of-location scheme for vanets F Boeira, M Asplund, MP Barcellos Proceedings of the 21st ACM International Conference on Modeling, Analysis …, 2018 | 31 | 2018 |
| Proof of location as a security mechanism for vehicular Ad Hoc networks FCB Boeira | | 2018 |
| Effects of colluding Sybil nodes in message falsification attacks for vehicular platooning F Boeira, MP Barcellos, EP de Freitas, A Vinel, M Asplund 2017 IEEE Vehicular Networking Conference (VNC), 53-60, 2017 | 41 | 2017 |
| On the impact of sybil attacks in cooperative driving scenarios F Boeira, MP Barcellos, EP de Freitas, A Vinel, M Asplund 2017 IFIP networking conference (IFIP networking) and workshops, 1-2, 2017 | 15 | 2017 |
Mikael AsplundLinköping University在 liu.se 的电子邮件经过验证
