Author of the publication

Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios.

, and . ICST Workshops, page 2-3. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Assuring Privacy in Surfing the Internet., and . SecITC, volume 11359 of Lecture Notes in Computer Science, page 185-203. Springer, (2018)Using Symbolic Techniques and Algebraic Petri Nets to Model Check Security Protocols for Ad Hoc Networks., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 91-110. CEUR-WS.org, (2014)MaRePhoR - An open access machine-readable phonetic dictionary for Romanian., , , and . SpeD, page 1-6. IEEE, (2017)AVISPA versus AVANTSSAR in the Model Checking of Secure Communication Protocols., , and . ICETE (2), page 686-691. SciTePress, (2018)Learned Lessons from Implementing an Android Client for the Cloud Signature Consortium API., , and . SECITC, volume 12001 of Lecture Notes in Computer Science, page 227-240. Springer, (2019)A BitTorrent DHT Crawler., and . SACI, page 155-160. IEEE, (2019)CTL formula evaluation by term rewriting inversion., , , and . ECAI, page 1-10. IEEE, (2017)SABRES - A Proof of Concept for Enhanced Cloud Qualified Electronic Signatures., , , and . COMM, page 103-108. IEEE, (2020)A Cryptography API: Next Generation Key Storage Provider for Cryptography in the Cloud., , and . ECAI, page 1-4. IEEE, (2018)Web GUI for Automating the Formal Verification of Security Protocols using Casper & FDR4., and . ECAI, page 1-6. IEEE, (2019)