Simulation of an Identity-based Cryptography Scheme for Ad Hoc Networks. - Mihai-Lica Pura; Victor Valeriu Patriciu; Ion Bica (SECRYPT, 2009)

Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2. - Mihai-Lica Pura; Victor Valeriu Patriciu; Ion Bica (SECRYPT, 2010)

Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks. - Mihai-Lica Pura; Didier Buchs (PNSE @ Petri Nets, 2014)

Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets. - Mihai-Lica Pura; Didier Buchs (COMM, 2014)

A self-organized key management scheme for ad hoc networks based on identity-based cryptography. - Mihai Lica Pura; Didier Buchs (COMM, 2014)

Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios. - Mihai-Lica Pura; Didier Buchs (ICST Workshops, 2014)

Hybrid Distributed-Hierarchical Identity Based Cryptographic Scheme for Wireless Sensor Networks. - Constantin Grumazescu; Mihai-Lica Pura; Victor Valeriu Patriciu (WorldCIST (1), 2015)

Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies. - Mihai-Lica Pura; Didier Buchs (Trans. Petri Nets Other Model. Concurr., 2015)

Using gamma formalism for model-based testing for the routing protocols for mobile ad hoc networks. - Diana-Getuta Oancea; Mihai Lica Pura; Luciana Morogan (COMM, 2016)

Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewriting. - Mihai Lica Pura; Luciana Morogan; Didier Buchs (COMM, 2016)

CTL formula evaluation by term rewriting inversion. - Mihai-Lica Pura; Iulian Aciobanitei; Stefan-Adrian Toma; Didier Buchs (ECAI, 2017)

MaRePhoR - An open access machine-readable phonetic dictionary for Romanian. - Stefan Adrian Toma; Adriana Stan; Mihai-Lica Pura; Traian Barsan (SpeD, 2017)

A Cryptography API: Next Generation Key Storage Provider for Cryptography in the Cloud. - Iulian Aciobanitei; Paul-Danut Urian; Mihai-Lica Pura (ECAI, 2018)

AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols. - Iulian Aciobanitei; Roxana-Ioana Guinea; Mihai-Lica Pura (ICETE (2), 2018)

On the Modelling of Urban Infrastructure Deformation Profiles Using the Applied Element Method and Multiple Hypothesis Testing. - Bogdan Sebacher; Stefan-Adrian Toma; Marin Lupoae; Mihai-Lica Pura (IGARSS, 2018)

Lightweight Version of SQRL Authentication Protocol Based on Cryptography in the Cloud. - Iulian Aciobanitei; Iulian Catalin Buhus; Mihai-Lica Pura (SACI, 2018)

Using Cryptography in the Cloud for Lightweight Authentication Protocols Based on QR Codes. - Iulian Aciobanitei; Iulian Catalin Buhus; Mihai-Lica Pura (SACI, 2018)

Assuring Privacy in Surfing the Internet. - Stefan Bodoarca; Mihai-Lica Pura (SecITC, 2018)

Tiny Network Intrusion Detection System with High Performance. - Andrei-Marius Avram; Mihai-Lica Pura; Stefan-Adrian Toma (ECAI, 2019)

Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4. - Andreea Scurtu; Mihai-Lica Pura (ECAI, 2019)

On Anomalous Deformation Profile Detection Through Supervised and Unsupervised Machine Learning. - Stefan-Adrian Toma; Bogdan Sebacher; Adrian Focsa; Mihai-Lica Pura (IGARSS, 2019)

A BitTorrent DHT Crawler. - Robert-George Simion; Mihai-Lica Pura (SACI, 2019)

Learned Lessons from Implementing an Android Client for the Cloud Signature Consortium API. - Iulian Aciobanitei; Paul-Danut Urian; Mihai-Lica Pura (SECITC, 2019)

Spoken Language Detection Experiments for Romanian. - Petrica-Daniel Stoica; Stefan-Adrian Toma; Marian Ceaparu; Mihai-Lica Pura (SpeD, 2019)

ROetry: First Steps Towards Computer Generated Poetry in Romanian Language. - Elena-Casiana Fusu; Mihai-Lica Pura (ECAI, 2020)

SABRES - A Proof of Concept for Enhanced Cloud Qualified Electronic Signatures. - Iulian Aciobanitei; Vlad Dedita; Mihai-Lica Pura; Victor Valeriu Patriciu (COMM, 2020)

Qualified Electronic Signature SaaS Solution for Google Docs & Google Sheets Documents. - Iulian Aciobanitei; Ionut Luculescu; Mihai-Lica Pura (COMM, 2020)

Implementing Cloud Qualified Electronic Signatures for Documents using Available Cryptographic Libraries: A Survey. - Elena-Cristina Ruica; Mihai-Lica Pura; Iulian Aciobanitei (COMM, 2020)