2016Alireza Ranjbar, Miika Komu, Patrik Salmela, Tuomas Aura (2016). An SDN-based approach to enhance the end-to-end security. IEEE/IFIP Network Operations and Management Symposium, Proceedings of the NOMS 2016 - 2016 IEEE/IFIP Network Operations and Management Symposium():281-288.An SDN-based approach to enhance the end-to-end securityRanjbarPublished
2016Silke Holtmanns, Siddharth Prakash Rao, Ian Oliver (2016). User location tracking attacks for LTE networks using the interworking functionality. IFIP Networking Conference and Workshops, 2016 IFIP Networking Conference (IFIP Networking) and Workshops, IFIP Networking 2016():315-322.User location tracking attacks for LTE networks using the interworking functionalityHoltmannsPublished
2016Siddharth Prakash Rao, Ian Oliver, Silke Holtmanns, Tuomas Aura (2016). We know where you are!. International Conference on Cyber Conflict, 2016 8th International Conference on Cyber Conflict: Cyber Power, CyCon 2016, 2016-August(2016-August):277-293.We know where you are!RaoPublished
2016Jukka Ruohonen, Sanja Scepanovic, Sami Hyrynsalmi, Igor Mishkovski, Tuomas Aura, Ville Leppänen (2016). The Black Mark Beside My Name Server. International Conference on Future Internet of Things and Cloud Workshops, 2016 IEEE 4TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW)():264-269.The Black Mark Beside My Name ServerRuohonenPublished
2016Jukka Ruohonen, Sanja Scepanovic, Sami Hyrynsalmi, Igor Mishkovski, Tuomas Aura, Ville Leppanen (2016). Correlating File-based Malware Graphs Against the Empirical Ground Truth of DNS Graphs. European Conference on Software Architecture Workshops, Proceedings of the 10th European Conference on Software Architecture WorkshopsCorrelating File-based Malware Graphs Against the Empirical Ground Truth of DNS GraphsRuohonenPublished
2017Jukka Ruohonen, Sanja Scepanovic, Sami Hyrynsalmi, Igor Mishkovski, Tuomas Aura, Ville Leppanen (2017). A post-mortem empirical investigation of the popularity and distribution of malware files in the contemporary web-facing internet. European Intelligence and Security Informatics Conference, Proceedings - 2016 European Intelligence and Security Informatics Conference, EISIC 2016():144-147.A post-mortem empirical investigation of the popularity and distribution of malware files in the contemporary web-facing internetRuohonenPublished
2017Cesar Bernardini, Muhammad Rizwan Asghar, Bruno Crispo (2017). Security and privacy in vehicular communications. Vehicular Communications, 10:13-28.Security and privacy in vehicular communicationsBernardiniPublished
2017Alireza Ranjbar, Miika Komu, Patrik Salmela, Tuomas Aura (2017). SynAPTIC. IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, Proceedings - 2017 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGRID 2017():262-267.SynAPTICRanjbarPublished
2018Aapo Kalliola, Yoan Miche, Ian Oliver, Silke Holtmanns, Buse Atli, Amaury Lendasse, Kaj-Mikael Bjork, Anton Akusok, Tuomas Aura (2018). Learning Flow Characteristics Distributions with ELM for Distributed Denial of Service Detection and Mitigation. International Conference on Extreme Learning Machines, Proceedings of ELM-2016():129-143.Learning Flow Characteristics Distributions with ELM for Distributed Denial of Service Detection and MitigationKalliolaPublished
2017Alberto Geniola, Markku Antikainen, Tuomas Aura (2017). A Large-Scale Analysis of Download Portals and Freeware Installers. Nordic Conference on Secure IT Systems, Secure IT Systems: 22nd Nordic Conference, NordSec 2017, Tartu, Estonia, November 8–10, 2017, Proceedings():209-225.A Large-Scale Analysis of Download Portals and Freeware InstallersGeniolaPublished
2017Thanh Bui, Tuomas Aura (2017). GPASS: A Password Manager with Group-Based Access Control. Nordic Conference on Secure IT Systems, Secure IT Systems():229-244.GPASS: A Password Manager with Group-Based Access ControlBuiPublished
2017Thanh Bui, Tuomas Aura (2017). Key Exchange with the Help of a Public Ledger. International Security Protocols Workshop, Security Protocols XXV():123-136.Key Exchange with the Help of a Public LedgerBuiPublished
2017Thanh Bui (2017). Key exchange with the help of a public ledger (Transcript of discussion). International Workshop on Security Protocols, Security Protocols XXV - 25th International Workshop, Revised Selected Papers():137-143.Key exchange with the help of a public ledger (Transcript of discussion)BuiPublished
2018Abu Shohel Ahmed, Tuomas Aura (2018). Turning Trust Around. IEEE International Conference on Trust, Security and Privacy in Computing and Communications, Proceedings -17th IEEE International Conference on Trust, Security and Privacy in Computing and Communications and 12th IEEE International Conference on Big Data Science and Engineering, Trustcom/BigDataSE 2018():104-111.Turning Trust AroundAhmedPublished
2018Aapo Kalliola, Shankar Lal, Kimmo Ahola, Ian Oliver, Yoan Miche, Tuomas Aura (2018). Security wrapper orchestration in cloud. International Conference on Availability, Reliability and Security, ARES 2018 - 13th International Conference on Availability, Reliability and SecuritySecurity wrapper orchestration in cloudKalliolaPublished
2018Alberto Geniola, Markku Antikainen, Tuomas Aura (2018). Automated analysis of freeware installers promoted by download portals. Computers and Security, 77(77):209-225.Automated analysis of freeware installers promoted by download portalsGeniolaPublished
2018Thanh Bui, Siddharth Prakash Rao, Markku Antikainen, Viswanathan Manihatty Bojan, Tuomas Aura (2018). Man-in-the-Machine: Exploiting Ill-Secured Communication Inside the Computer. USENIX Security Symposium, Proceedings of the 27th USENIX Security Symposium, August 15–17, 2018, Baltimore, MD, USA():1511-1525.Man-in-the-Machine: Exploiting Ill-Secured Communication Inside the ComputerBuiPublished
2018Thanh Bui, Tuomas Aura (2018). Application of Public Ledgers to Revocation in Distributed Access Control. International Conference on Information, Communications and Signal Processing
, Information and Communications Security
():781-792.
Application of Public Ledgers to Revocation in Distributed Access ControlBuiPublished
2017Sanja Scepanovic, Igor Mishkovski, Jukka Ruohonen, Frederick Ayala-Gómez, Tuomas Aura, Sami Hyrynsalmi (2017). Malware distributions and graph structure of the Web. arXiv.org, abs/1707.06071.Malware distributions and graph structure of the WebScepanovicPublished
2016Siddharth Rao, Bhanu Teja Kotte, Silke Holtmanns (2016). Privacy in LTE networks. EAI International Conference on Mobile Multimedia Communications, MobiMedia '16 Proceedings of the 9th EAI International Conference on Mobile Multimedia Communications():176-183.Privacy in LTE networksRaoPublished
2019Thanh Bui, Siddharth Rao, Markku Antikainen, Tuomas Aura (2019). Pitfalls of open architecture. European Workshop on Systems Security, Proceedings of the 12th European Workshop on Systems Security, EuroSec 2019 p. 6.Pitfalls of open architectureBuiPublished
2019Mohit Sethi, Aleksi Peltonen, Tuomas Aura (2019). Misbinding attacks on secure device pairing and bootstrapping. ACM Asia Conference on Computer and Communications Security, AsiaCCS 2019 - Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security():453-464.Misbinding attacks on secure device pairing and bootstrappingSethiPublished
2019Samuel Marchal, Sebastian Szyller (2019). Detecting organized eCommerce fraud using scalable categorical clustering. Annual Computer Security Applications Conference, 2019 Annual Computer Security Applications Conference (ACSAC ’19), December 9–13, 2019, San Juan, PR, USA():215–228.Detecting organized eCommerce fraud using scalable categorical clusteringMarchalPublished
2019Debopam Bhattacherjee, Andrei Gurtov, Tuomas Aura (2019). Watch Your Step! Detecting Stepping Stones in Programmable Networks. IEEE International Conference on Communications, 2019 IEEE International Conference on Communications, ICC 2019 - Proceedings().Watch Your Step! Detecting Stepping Stones in Programmable NetworksBhattacherjeePublished
2019Veronica Toro Betancur, Jose Viquez Zamora, Markku Antikainen, Mario Di Francesco (2019). A Scalable Software Update Service for IoT Devices in Urban Scenarios. International Conference on the Internet of Things, Proceedings of the 9th International Conference on the Internet of Things().A Scalable Software Update Service for IoT Devices in Urban ScenariosToro BetancurPublished
2019Md Sakib Nizam Khan, Samuel Marchal, Sonja Buchegger, N. Asokan (2019). chowniot. International IFIP Summer School on Privacy and Identity Management, Privacy and Identity Management. Fairness, Accountability, and Transparency in the Age of Big Data - 13th IFIP WG 9.2, 9.6/11.7, 11.6/SIG 9.2.2 International Summer School, Revised Selected Papers():205-221.chowniotKhanPublished
2019Thanh Bui, Markku Antikainen, Tuomas Aura (2019). Analysis of topology poisoning attacks in software-defined networking. Nordic Conference on Secure IT Systems, Secure IT Systems - 24th Nordic Conference, NordSec 2019, Proceedings():87-102.Analysis of topology poisoning attacks in software-defined networkingBuiPublished
2019Siddharth Rao, Tien Bui, Markku Antikainen, Tuomas Aura (2019). Client-Side Vulnerabilities in Commercial VPNs. Nordic Conference on Secure IT Systems, Secure IT Systems():103-119.Client-Side Vulnerabilities in Commercial VPNsRaoPublished
2019T. D. Nguyen, S. Marchal, M. Miettinen, H. Fereidooni, N. Asokan, A. Sadeghi (2019). DÏoT: A Federated Self-learning Anomaly Detection System for IoT. International Conference on Distributed Computing Systems, 2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS)():756-767.DÏoT: A Federated Self-learning Anomaly Detection System for IoTNguyenPublished
2019Buse Gul Atli, Sebastian Szyller, Mika Juuti, Samuel Marchal, N. Asokan (2019). Extraction of Complex DNN Models: Real Threat or Boogeyman?. The AAAI-20 Workshop on Engineering Dependable and Secure Machine Learning Systems, Engineering Dependable and Secure Machine Learning Systems():42-57.Extraction of Complex DNN Models: Real Threat or Boogeyman?AtliPublished
2018Jagmohan Chauhan, Jathushan Rajasegaran, Suranga Seneviratne, Archan Misra, Aruna Seneviratne, Youngki Lee (2018). Performance Characterization of Deep Learning Models for Breathing-Based Authentication on Resource-Constrained Devices. Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies, 2.Performance Characterization of Deep Learning Models for Breathing-Based Authentication on Resource-Constrained DevicesChauhanPublished
2020Carmen Camara, Pedro Peris-Lopez, Jose Maria De Fuentes, Samuel Marchal (2020). Access Control for Implantable Medical Devices. IEEE Transactions on Emerging Topics in Computing, 9(9):1126-1138.Access Control for Implantable Medical DevicesCamaraPublished
2020Ibbad Hafeez, Markku Antikainen, Aaron Yi Ding, Sasu Tarkoma (2020). IoT-KEEPER. IEEE Transactions on Network and Service Management, 17(17):45-59.IoT-KEEPERHafeezPublished
2020Aleksi Peltonen, Mohit Sethi, Tuomas Aura (2020). Formal verification of misbinding attacks on secure device pairing and bootstrapping. Journal of Information Security and Applications, 51(51).Formal verification of misbinding attacks on secure device pairing and bootstrappingPeltonenPublished
2020Sampsa Latvala, Mohit Sethi, Tuomas Aura (2020). Evaluation of Out-of-Band Channels for IoT Security. SN Computer Science, 1.Evaluation of Out-of-Band Channels for IoT SecurityLatvalaPublished
2020Abu Shohel Ahmed, Mukesh Thakur, Santeri Paavolainen, Tuomas Aura (2020). Transparency of SIM profiles for the consumer remote SIM provisioning protocol. Annals of Telecommunications - Annales des Telecommunications().Transparency of SIM profiles for the consumer remote SIM provisioning protocolAhmedPublished
2020Thanh Bui, Siddharth Rao, Markku Antikainen, Tuomas Aura (2020). XSS Vulnerabilities in cloud-application add-ons. ACM Asia Conference on Computer and Communications Security, Proceedings of the 15th ACM Asia Conference on Computer and Communications Security():610-621.XSS Vulnerabilities in cloud-application add-onsBuiPublished
2020Aleksi Peltonen, Eduardo Inglés, Sampsa Latvala, Dan Garcia-Carrillo, Mohit Sethi, Tuomas Aura (2020). Enterprise security for the internet of things (IOT). Sensors, 20(20):1-23.Enterprise security for the internet of things (IOT)PeltonenPublished
2021Aleksi Peltonen, Ralf Sasse, David Basin (2021). A Comprehensive Formal Analysis of 5G Handover. ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2021 - Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks():1-12.A Comprehensive Formal Analysis of 5G HandoverPeltonenPublished
2021Thanh Bui (2021). Security Failures in Modern Software. Security Failures in Modern SoftwareBuiPublished
2021Logan Blue, Samuel Marchal, Patrick Traynor, N. Asokan (2021). Lux: Enabling Ephemeral Authorization for Display-Limited IoT Devices. International Conference on Internet-of-Things Design and Implementation, IoTDI 2021 - Proceedings of the 2021 International Conference on Internet-of-Things Design and Implementation():15-27.Lux: Enabling Ephemeral Authorization for Display-Limited IoT DevicesBluePublished
2019Ibbad Hafeez, Markku Antikainen, Sasu Tarkoma (2019). Protecting IoT-environments against Traffic Analysis Attacks with Traffic Morphing. IEEE International Conference on Pervasive Computing and Communications Workshops, 2019 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2019():196-201.Protecting IoT-environments against Traffic Analysis Attacks with Traffic MorphingHafeezPublished
2021Hossein Fereidooni, Samuel Marchal, Markus Miettinen, Azalia Mirhoseini, Helen Mollering, Thien Duc Nguyen, Phillip Rieger, Ahmad Reza Sadeghi, Thomas Schneider, Hossein Yalame, Shaza Zeitouni (2021). SAFELearn: Secure Aggregation for private FEderated Learning. IEEE Symposium on Security and Privacy, Proceedings - 2021 IEEE Symposium on Security and Privacy Workshops, SPW 2021():56-62.SAFELearn: Secure Aggregation for private FEderated LearningFereidooniPublished
2021Sebastien Boire, Tolgahan Akgün, Philip Ginzboorg, Pekka Laitinen, Sandeep Tamrakar, Tuomas Aura (2021). Credential Provisioning and Device Configuration with EAP. ACM International Symposium on Mobility Management and Wireless Access, MobiWac '21: Proceedings of the 19th ACM International Symposium on Mobility Management and Wireless Access():87–96.Credential Provisioning and Device Configuration with EAPBoirePublished
2021Mohit Sethi, Tuomas Aura (2021). Secure Network Access Authentication for IoT Devices: EAP Framework vs. Individual Protocols. IEEE Communications Standards Magazine, 5(5):34-39.Secure Network Access Authentication for IoT Devices: EAP Framework vs. Individual ProtocolsSethiPublished
2021Tuomas Aura, Mohit Sethi, Aleksi Peltonen (2021). Nimble Out-of-Band Authentication for EAP (EAP-NOOB). Nimble Out-of-Band Authentication for EAP (EAP-NOOB)AuraPublished
2021Sebastian Szyller, Buse Gul Atli, Samuel Marchal, N. Asokan (2021). DAWN. ACM International Conference on Multimedia, Proceedings of the 29th ACM International Conference on Multimedia, MM 2021():4417-4425.DAWNSzyllerPublished
2022Charles Koutcheme, Artturi Tilanterä, Aleksi Peltonen, Arto Hellas, Lassi Haaranen (2022). Exploring How Students Solve Open-ended Assignments. Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE 2022 - Proceedings of the 27th ACM Conference on Innovation and Technology in Computer Science Education():75-81.Exploring How Students Solve Open-ended AssignmentsKoutchemePublished
2022Buse Atli Tekgul, Shelly Wang, Samuel Marchal, N. Asokan (2022). Real-time Adversarial Perturbations against Deep Reinforcement Learning Policies: Attacks and Defenses. European Symposium on Research in Computer Security, Computer Security – ESORICS 2022 - 27th European Symposium on Research in Computer Security, Proceedings, 13556(13556):384-404.Real-time Adversarial Perturbations against Deep Reinforcement Learning Policies: Attacks and DefensesAtli TekgulPublished
2022Thien Duc Nguyen, Phillip Rieger, Huili Chen, Hossein Yalame, Helen Möllering, Hossein Fereidooni, Samuel Marchal, Markus Miettinen, Azalia Mirhoseini, Shaza Zeitouni, Farinaz Koushanfar, Ahmad Reza Sadeghi, Thomas Schneider (2022). FLAME: Taming Backdoors in Federated Learning. USENIX Security Symposium, Proceedings of the 31st USENIX Security Symposium, Security 2022():1415-1432.FLAME: Taming Backdoors in Federated LearningNguyenPublished
2022Siddharth Prakash Rao, Hsin Yi Chen, Tuomas Aura (2022). Threat modeling framework for mobile communication systems. Computers and Security, 125(125):1-23.Threat modeling framework for mobile communication systemsRaoPublished
2023Aleksi Peltonen (2023). Formal Verification and Standardization of Security Protocols. Formal Verification and Standardization of Security ProtocolsPeltonenPublished
2021Hsin Yi Chen, Siddharth Prakash Rao (2021). Adversarial Trends in Mobile Communication Systems. Nordic Conference on Secure IT Systems, Secure IT Systems - 26th Nordic Conference, NordSec 2021, Proceedings():153-171.Adversarial Trends in Mobile Communication SystemsChenPublished
2023Jacopo Bufalino, Mario Di Francesco, Tuomas Aura (2023). Analyzing Microservice Connectivity with Kubesonde. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/FSE 2023: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering():2038–2043.Analyzing Microservice Connectivity with KubesondeBufalinoPublished
2024Yushan Siriwardhana, Pawani Porambage, Madhusanka Liyanage, Samuel Marchal, Mika Ylianttila (2024). Robust Aggregation Technique Against Poisoning Attacks in Multi-Stage Federated Learning Applications. IEEE Consumer Communications and Networking Conference, 2024 IEEE 21st Consumer Communications and Networking Conference, CCNC 2024():956-962.Robust Aggregation Technique Against Poisoning Attacks in Multi-Stage Federated Learning ApplicationsSiriwardhanaPublished
2024Victor Bolbot, La Xiang, Päivi Brunou, Mikko Kiviharju, Yu Ding, Osiris Valdez Banda (2024). Cybersecurity risk assessment of a marine Dual-Fuel engine on inland waterways ship. Proceedings of the Institution of Mechanical Engineers, Part M: Journal of Engineering for the Maritime Environment, 239(239):67-91.Cybersecurity risk assessment of a marine Dual-Fuel engine on inland waterways shipBolbotPublished
2024Abu Shohel Ahmed, Aleksi Peltonen, Mohit Sethi, Tuomas Aura (2024). Security Analysis of the Consumer Remote SIM Provisioning Protocol. ACM Transactions on Privacy and Security, 27:1-36.Security Analysis of the Consumer Remote SIM Provisioning ProtocolAhmedPublished
2024Shen Wang, Chamara Sandeepa, Thulitha Senevirathna, Bartlomiej Siniarski, Manh Dung Nguyen, Samuel Marchal, Madhusanka Liyanage (2024). Towards Accountable and Resilient AI-Assisted Networks : Case Studies and Future Challenges. Joint European Conference on Networks and Communications and 6G Summit, 2024 Joint European Conference on Networks and Communications and 6G Summit, EuCNC/6G Summit 2024():818-823.Towards Accountable and Resilient AI-Assisted Networks : Case Studies and Future ChallengesWangPublished
2024Yushan Siriwardhana, Pawani Porambage, Madhusanka Liyanage, Samuel Marchal, Mika Ylianttila (2024). SHIELD-Secure Aggregation against Poisoning in Hierarchical Federated Learning. IEEE Transactions on Dependable and Secure Computing, 22:1845-1863.SHIELD-Secure Aggregation against Poisoning in Hierarchical Federated LearningSiriwardhanaPublished
2024Mikko Kiviharju (2024). On the Cybersecurity of Logistics in the Age of Artificial Intelligence. Artificial Intelligence for Security : Enhancing Protection in a Changing World():189-219.On the Cybersecurity of Logistics in the Age of Artificial IntelligenceKiviharjuPublished
2025Mariam Moustafa, Mohit Sethi, Tuomas Aura (2025). Misbinding Raw Public Keys to Identities in TLS. Nordic Conference on Secure IT Systems, Secure IT Systems - 29th Nordic Conference, NordSec 2024, Proceedings():62-79.Misbinding Raw Public Keys to Identities in TLSMoustafaPublished
2025Jacopo Bufalino, Jose Martin Navarro, Mario Di Francesco, Tuomas Aura (2025). Inside Job: Defending Kubernetes Clusters Against Network Misconfigurations. Proceedings of the ACM on Networking, 3:1-25.Inside Job: Defending Kubernetes Clusters Against Network MisconfigurationsBufalinoPublished
2025Jacopo Bufalino, Jose Luiz Martin Navarro, Aleksi Peltonen, Tuomas Aura (2025). Helm-ET: Reducing Exposure to Lateral Movement in Kubernetes Artifacts. IEEE International Conference on Cloud Computing, Proceedings - 2025 IEEE 18th International Conference on Cloud Computing, CLOUD 2025():109-120.Helm-ET: Reducing Exposure to Lateral Movement in Kubernetes ArtifactsBufalinoPublished
2026Rongjun Ma, Shijing He, Jose Luis Martin-Navarro, Xiao Zhan, Jose Such (2026). Privacy in Human-AI Romantic Relationships: Concerns, Boundaries, and Agency. ACM SIGCHI Annual Conference on Human Factors in Computing Systems, CHI 2026 - Proceedings of the 2026 CHI Conference on Human Factors in Computing SystemsPrivacy in Human-AI Romantic Relationships: Concerns, Boundaries, and AgencyMaPublished
2025Gizem Akman, Philip Ginzboorg, Sampo Sovio, Valtteri Niemi (2025). Policy Enforcement Protocols with Split Keys. European Symposium on Research in Computer Security, Computer Security. ESORICS 2025 International Workshops - AutonomousCyber 2025, CPS4CIP 2025, DisA 2025, HS3 2025, MIST 2025, Revised Selected Papers():503-523.Policy Enforcement Protocols with Split KeysAkmanPublished
2026Jose Luis Martin-Navarro, Antonio M. Larriba, Damián López (2026). DiReCT Voting: Dispute Resolution with Cast Timeliness. Informatica, 37(37):349-382.DiReCT Voting: Dispute Resolution with Cast TimelinessMartin-NavarroPublished
2025Kohsuke Sonoda, Jose Luis Martin-Navarro, Tuomas Aura (2025). Don't Mind the Mesh : An Empirical Study of Istio's Service Mesh Security in GitHub. IEEE International Conference on Software Analysis, Evolution and Reengineering -, Proceedings - 2026 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion, SANER-C 2026():230-233.Don't Mind the Mesh : An Empirical Study of Istio's Service Mesh Security in GitHubSonodaPublished
2026Muhammad Usama Sardar, Mariam Moustafa, Tuomas Aura (2026). Identity Crisis in Confidential Computing: Formal Analysis of Attested TLS. ACM Asia Conference on Computer and Communications Security, ASIA CCS 2026 - Proceedings of the 21st ACM ASIA Conference on Computer and Communications Security():547-560.Identity Crisis in Confidential Computing: Formal Analysis of Attested TLSSardarPublished