Concepedia
Statistics
Publications
2
Citations
56
H-Index
Active since
2004
Affiliations
Verimag(Current)
Liana Bozga is an author at Verimag specializing in data privacy, engineering, and data security.
Top concepts
EngineeringCryptographyData PrivacyVerificationData SecurityFormal MethodsComputer ScienceFormal VerificationInformation SecurityBlockchain
Publications per year
2004–2005
Pattern-based abstraction for verifying secrecy in protocols
Liana Bozga, Yassine Lakhnech, Michaël Périn · International Journal on Software Tools for Technology Transfer · 2005 · 32 citations
Cryptographic Primitive, Engineering, Information Security +10
A symbolic decision procedure for cryptographic protocols with time stamps
Liana Bozga, Cristian Ene, Yassine Lakhnech · The Journal of Logic and Algebraic Programming · 2004 · 24 citations
Hardware Security, Cryptographic Primitive, Engineering +13
1–2 of 2