Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from SIGIR 2026 / reviewers in the wild / expert

Liana Bozga

dblp:83/6627 · also Liana Lazar · DBLP profile ↗
← Back
5ranked-venue papers
5as first author
0since 2021 · last 2006
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 4 · 4 first-authorTheory of computation · 3 · 3 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Cryptographic protocols and secure computation · 100%
Theoretical computer science
1 paper
Automated reasoning and model checking · 100%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation
protocol verification		 0.012003
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols · CAV 2003
Automated reasoning and model checking › formal methods for security
security protocol analysis		 0.012003
HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols · CAV 2003
YearPublicationVenuePosition
2006 Pattern-based abstraction for verifying secrecy in protocols
Liana Bozga, Yassine Lakhnech, Michaël Périn
 Int. J. Softw. Tools Technol. Transf.1
2004 A Symbolic Decision Procedure for Cryptographic Protocols with Time Stamps (Extended Abstract)
Liana Bozga, Cristian Ene, Yassine Lakhnech
 CONCUR1
2004 On the Existence of an Effective and Complete Inference System for Cryptographic Protocols
Liana Bozga, Cristian Ene, Yassine Lakhnech
 FoSSaCS1
2003 HERMES: An Automatic Tool for Verification of Secrecy in Security Protocols
Liana Bozga, Yassine Lakhnech, Michaël Périn
 CAV1
2003 Pattern-Based Abstraction for Verifying Secrecy in Protocols
Liana Bozga, Yassine Lakhnech, Michaël Périn
 TACAS1