Mihai-Lica Pura

Publication Activity (10 Years)

Years Active: 2009-2020
Publications (10 Years): 16

Top Topics

Communication Protocols

Ad Hoc Networks

Top Venues

Trans. Petri Nets Other Model. Concurr.

Publications

Elena-Casiana Fusu, Mihai-Lica Pura
ROetry: First Steps Towards Computer Generated Poetry in Romanian Language. ECAI (2020)
Iulian Aciobanitei, Vlad Dedita, Mihai-Lica Pura, Victor Valeriu Patriciu
SABRES - A Proof of Concept for Enhanced Cloud Qualified Electronic Signatures. COMM (2020)
Elena-Cristina Ruica, Mihai-Lica Pura, Iulian Aciobanitei
Implementing Cloud Qualified Electronic Signatures for Documents using Available Cryptographic Libraries: A Survey. COMM (2020)
Iulian Aciobanitei, Ionut Luculescu, Mihai-Lica Pura
Qualified Electronic Signature SaaS Solution for Google Docs & Google Sheets Documents. COMM (2020)
Stefan-Adrian Toma, Bogdan Sebacher, Adrian Focsa, Mihai-Lica Pura
On Anomalous Deformation Profile Detection Through Supervised and Unsupervised Machine Learning. IGARSS (2019)
Robert-George Simion, Mihai-Lica Pura
A BitTorrent DHT Crawler. SACI (2019)
Iulian Aciobanitei, Paul-Danut Urian, Mihai-Lica Pura
Learned Lessons from Implementing an Android Client for the Cloud Signature Consortium API. SECITC (2019)
Andrei-Marius Avram, Mihai-Lica Pura, Stefan-Adrian Toma
Tiny Network Intrusion Detection System with High Performance. ECAI (2019)
Andreea Scurtu, Mihai-Lica Pura
Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4. ECAI (2019)
Iulian Aciobanitei, Roxana-Ioana Guinea, Mihai-Lica Pura
AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols. ICETE (2) (2018)
Iulian Aciobanitei, Iulian Catalin Buhus, Mihai-Lica Pura
Using Cryptography in the Cloud for Lightweight Authentication Protocols Based on QR Codes. SACI (2018)
Iulian Aciobanitei, Paul-Danut Urian, Mihai-Lica Pura
A Cryptography API: Next Generation Key Storage Provider for Cryptography in the Cloud. ECAI (2018)
Stefan Bodoarca, Mihai-Lica Pura
Assuring Privacy in Surfing the Internet. SecITC (2018)
Iulian Aciobanitei, Iulian Catalin Buhus, Mihai-Lica Pura
Lightweight Version of SQRL Authentication Protocol Based on Cryptography in the Cloud. SACI (2018)
Stefan Adrian Toma, Adriana Stan, Mihai-Lica Pura, Traian Barsan
MaRePhoR - An open access machine-readable phonetic dictionary for Romanian. SpeD (2017)
Mihai-Lica Pura, Iulian Aciobanitei, Stefan-Adrian Toma, Didier Buchs
CTL formula evaluation by term rewriting inversion. ECAI (2017)
Constantin Grumazescu, Mihai-Lica Pura, Victor Valeriu Patriciu
Hybrid Distributed-Hierarchical Identity Based Cryptographic Scheme for Wireless Sensor Networks. WorldCIST (1) (2015)
Mihai-Lica Pura, Didier Buchs
Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies. Trans. Petri Nets Other Model. Concurr. 10 (2015)
Mihai-Lica Pura, Didier Buchs
Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets. COMM (2014)
Mihai-Lica Pura, Didier Buchs
Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios. ICST Workshops (2014)
Mihai-Lica Pura, Didier Buchs
Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks. PNSE @ Petri Nets (2014)
Mihai-Lica Pura, Victor Valeriu Patriciu, Ion Bica
Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2. SECRYPT (2010)
Mihai-Lica Pura, Victor Valeriu Patriciu, Ion Bica
Simulation of an Identity-based Cryptography Scheme for Ad Hoc Networks. SECRYPT (2009)