| 2025 | SECRYPT | Weak, Weak-Insider, and Randomized Weak Privacy in the HPVP Model for RFID. | Ferucio Laurentiu Tiplea |
| 2024 | FedCSIS | On Privacy of PRF+PUF-based Authentication. | Ferucio Laurentiu Tiplea |
| 2024 | KES | Security and Privacy Requirements for RFID Schemes in Healthcare: Case Studies, Solutions, and Challenges. | Ferucio Laurentiu Tiplea |
| 2024 | SECRYPT | On Privacy of RFID-Based Authentication Protocols. | Ferucio Laurentiu Tiplea |
| 2023 | KES | Efficient RFID Scheme in Healthcare Systems. | Ferucio Laurentiu Tiplea, Cristian Hristea, Daniela Gifu |
| 2022 | ISIT | Generalized Inverse Based Decoding. | Ferucio Laurentiu Tiplea, Vlad-Florin Dragoi |
| 2021 | SECRYPT | Practically Efficient RFID Scheme with Constant-time Identification. | Ferucio Laurentiu Tiplea, Cristian Hristea |
| 2020 | LICS | A Hennessy-Milner Theorem for ATL with Imperfect Information. | Francesco Belardinelli, Catalin Dima, Vadim Malvone, Ferucio Laurentiu Tiplea |
| 2020 | SOFA | Destructive Privacy and Mutual Authentication in Vaudenay's RFID Model. | Cristian Hristea, Ferucio Laurentiu Tiplea |
| 2018 | FedCSIS | Group Anonymity in Security Protocols. | Ferucio Laurentiu Tiplea, Cosmin Vrlan |
| 2010 | ESORICS | Complexity of Anonymity for Security Protocols. | Ferucio Laurentiu Tiplea, Loredana Vamanu, Cosmin Vrlan |
| 2009 | SYNASC | Classes of Szilard Languages in NC | Liliana Cojocaru, Erkki Mkinen, Ferucio Laurentiu Tiplea |
| 2006 | SYNASC | The Confluence Property for Petri Nets and its Applications. | Ioana Leahu, Ferucio Laurentiu Tiplea |
| 2006 | SYNASC | E-timed Workflow Nets. | Ferucio Laurentiu Tiplea, Geanina Ionela Macovei |
| 2005 | SYNASC | Timed Workflow Nets. | Ferucio Laurentiu Tiplea, Geanina Ionela Macovei |
| 2005 | SYNASC | Instantiating Nets and Their Applications to Workflow Nets. | Ferucio Laurentiu Tiplea, Aurora Tiplea |
| 2002 | VMCAI | A Simulation Preorder for Abstraction of Reactive Systems. | Ferucio Laurentiu Tiplea, Aurora Tiplea |
| 1997 | DLT | Jumping Petri Nets - Specific Properties. | Ferucio Laurentiu Tiplea, Erkki Mkinen |
| 1995 | DLT | (0, 1)-Total Pure Context-Free Grammars. | Codrut Matei, Ferucio Laurentiu Tiplea |
| 1995 | DLT | Hierarchies of Petri Net Languages and a Super-Normal Form. | Ferucio Laurentiu Tiplea, Cristian Ene |