publications

2025

  1. TickTock: Verified Isolation in a Production Embedded OS
    Vivien Rindisbacher, Evan Johnson, Nico Lehmann, Tyler Potyondy, Pat Pannuto, Stefan Savage, Deian Stefan, and Ranjit Jhala
    In Proceedings of the ACM SIGOPS 31st Symposium on Operating Systems Principles, Seoul, Republic of Korea, Oct 2025
  2. Building Bridges: Safe Interactions with Foreign Languages through Omniglot
    Leon Schuermann, Jack Troubes, Tyler Potyondy, Pat Pannuto, Mae Milano, and Amit Levy
    In Proceedings of the 19th USENIX Symposium on Operating Systems Design and Implementation, Boston, MA, USA, Jul 2025
    Best Paper Award

2024

  1. Tabula Rasa: Starting Safe Stays Safe
    Tyler Potyondy, Samir Rashid, Leon Schuermann, Anthony Tarbinian, and Pat Pannuto
    In The 3rd Workshop on Security and Privacy in Connected Embedded Systems, Abu Dhabi, UAE, Nov 2024
    Best Paper Award

2021

  1. Recent advances in 3D bioprinting of musculoskeletal tissues
    Tyler Potyondy, Jorge Alfredo Uquillas, Peyton J Tebon, Batzaya Byambaa, Anwarul Hasan, Maryam Tavafoghi, Heloise Mary, George E Aninwene, Ippokratis Pountos, Ali Khademhosseini, and Nureddin Ashammakhi
    Biofabrication, Mar 2021
    DOI