Mihai-Lica Pura

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