Mihai-Lica Pura - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 27 from 27

2020

2019

Learned Lessons from Implementing an Android Client for the Cloud Signature Consortium APIIulian Aciobanitei, Paul-Danut Urian, Mihai-Lica Pura. secitc 2020: 227-240 [doi]

Tiny Network Intrusion Detection System with High PerformanceAndrei-Marius Avram, Mihai-Lica Pura, Stefan Adrian Toma. ecai2 2019: 1-6 [doi]

Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4Andreea Scurtu, Mihai-Lica Pura. ecai2 2019: 1-6 [doi]

A BitTorrent DHT CrawlerRobert-George Simion, Mihai-Lica Pura. saci 2019: 155-160 [doi]

Spoken Language Detection Experiments for RomanianPetrica-Daniel Stoica, Stefan Adrian Toma, Marian Ceaparu, Mihai-Lica Pura. sped 2019: 1-6 [doi]

On Anomalous Deformation Profile Detection Through Supervised and Unsupervised Machine LearningStefan Adrian Toma, Bogdan Sebacher, Adrian Focsa, Mihai-Lica Pura. igarss 2019: 7419-7422 [doi]

2018

AVISPA versus AVANTSSAR in the Model Checking of Secure Communication ProtocolsIulian Aciobanitei, Roxana-Ioana Guinea, Mihai-Lica Pura. icete 2018: 686-691 [doi]

Lightweight Version of SQRL Authentication Protocol Based on Cryptography in the CloudIulian Aciobanitei, Iulian Catalin Buhus, Mihai-Lica Pura. saci 2018: 173-178 [doi]

Using Cryptography in the Cloud for Lightweight Authentication Protocols Based on QR CodesIulian Aciobanitei, Iulian Catalin Buhus, Mihai-Lica Pura. saci 2018: 539-542 [doi]

A Cryptography API: Next Generation Key Storage Provider for Cryptography in the CloudIulian Aciobanitei, Paul-Danut Urian, Mihai-Lica Pura. ecai2 2018: 1-4 [doi]

Assuring Privacy in Surfing the InternetStefan Bodoarca, Mihai-Lica Pura. secitc 2019: 185-203 [doi]

On the Modelling of Urban Infrastructure Deformation Profiles Using the Applied Element Method and Multiple Hypothesis TestingBogdan Sebacher, Stefan Adrian Toma, Marin Lupoae, Mihai-Lica Pura. igarss 2018: 874-877 [doi]

2017

CTL formula evaluation by term rewriting inversionMihai-Lica Pura, Iulian Aciobanitei, Stefan Adrian Toma, Didier Buchs. ecai2 2017: 1-10 [doi]

MaRePhoR - An open access machine-readable phonetic dictionary for RomanianStefan Adrian Toma, Adriana Stan, Mihai-Lica Pura, Traian Barsan. sped 2017: 1-6 [doi]

2016

Using gamma formalism for model-based testing for the routing protocols for mobile ad hoc networksDiana-Getuta Oancea, Mihai-Lica Pura, Luciana Morogan. iccomm 2016: 177-180 [doi]

Generation of the path to counter-examples by backward state space traversal in symbolic model checking based on term rewritingMihai-Lica Pura, Luciana Morogan, Didier Buchs. iccomm 2016: 85-88 [doi]

2015

Hybrid Distributed-Hierarchical Identity Based Cryptographic Scheme for Wireless Sensor NetworksConstantin Grumazescu, Mihai-Lica Pura, Victor Valeriu Patriciu. worldcist 2015: 949-958 [doi]

Symbolic Model Checking of Security Protocols for Ad hoc Networks on any TopologiesMihai-Lica Pura, Didier Buchs. topnoc, 10:109-130, 2015. [doi]

2014

2010

Formal Verification of G-PAKE Using Casper/FDR2 - Securing a Group PAKE Protocol Using Casper/FDR2Mihai-Lica Pura, Victor Valeriu Patriciu, Ion Bica. secrypt 2010: 299-303

Sign in or sign up to see more results.

runs on WebDSL