Concepedia

Quoc Huy

QH

Statistics

Publications

2

Citations

37

H-Index

2

Active since

2021

Affiliations

University of Stuttgart(Current)

Institut national de recherche en sciences et technologies du numérique

Indian Institute of Technology Gandhinagar

Quoc Huy is an author at University of Stuttgart specializing in protocol analysis, security protocols, and computer science.

Publications per year

2021–2021

2

Publications

2

$\text{DY}^{\star}$: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy et al. · 2021 · 25 citations

, , +16

An In-Depth Symbolic Security Analysis of the ACME Standard

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy et al. · 2021 · 12 citations

, , +17

1–2 of 2