Quoc Huy Do

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 7

Top Topics

Autonomous Vehicles

Password Guessing

Security Analysis

Top Venues

Intelligent Vehicles Symposium

IEICE Trans. Inf. Syst.

IACR Cryptol. ePrint Arch.

IEEE Symposium on Security and Privacy

Publications

Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. IEEE Symposium on Security and Privacy (2022)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
A Tutorial-Style Introduction to DY*. Protocols, Strands, and Logic (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. CCS (2021)
Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification. IACR Cryptol. ePrint Arch. 2021 (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
An In-Depth Symbolic Security Analysis of the ACME Standard. IACR Cryptol. ePrint Arch. 2021 (2021)
Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code. EuroS&P (2021)
Quoc Huy Do, Hossein Tehrani Niknejad, Seiichi Mita, Masumi Egawa, Kenji Muto, Keisuke Yoneda
Human Drivers Based Active-Passive Model for Automated Lane Change. IEEE Intell. Transp. Syst. Mag. 9 (1) (2017)
Hossein Tehrani Niknejad, Quoc Huy Do, Masumi Egawa, Kenji Muto, Keisuke Yoneda, Seiichi Mita
General behavior and motion model for automated lane change. Intelligent Vehicles Symposium (2015)
Quoc Huy Do, Seiichi Mita, Keisuke Yoneda
Narrow passage path planning using fast marching method and support vector machine. Intelligent Vehicles Symposium (2014)
Quoc Huy Do, Seiichi Mita, Hossein Tehrani Niknejad, Long Han
Dynamic and Safe Path Planning Based on Support Vector Machine among Multi Moving Obstacles for Autonomous Vehicles. IEICE Trans. Inf. Syst. (2) (2013)
Quoc Huy Do, Hossein Tehrani Niknejad, Keisuke Yoneda, Ryohei Sakai, Seiichi Mita
Vehicle path planning with maximizing safe margin for driving using Lagrange multipliers. Intelligent Vehicles Symposium (2013)
Quoc Huy Do, Seiichi Mita, Keisuke Yoneda
A Practical and Optimal Path Planning for Autonomous Parking Using Fast Marching Algorithm and Support Vector Machine. IEICE Trans. Inf. Syst. (12) (2013)
Hossein Tehrani Nik Nejad, Quoc Huy Do, Ryohei Sakai, Long Han, Seiichi Mita
Real time localization, path planning and motion control for autonomous parking in cluttered environment with narrow passages. ITSC (2012)
Quoc Huy Do, Long Han, Hossein Tehrani Niknejad, Seiichi Mita
Safe path planning among multi obstacles. Intelligent Vehicles Symposium (2011)
Long Han, Quoc Huy Do, Chunzhao Guo, Seiichi Mita
Optimal motion generation for autonomous vehicle in maze-like environment. ITSC (2011)
Long Han, Quoc Huy Do, Seiichi Mita
Unified path planner for parking an autonomous vehicle based on RRT. ICRA (2011)
Long Han, Hironari Yashiro, Hossein Tehrani Niknejad, Quoc Huy Do, Seiichi Mita
Bézier curve based path planning for autonomous vehicle in urban environment. Intelligent Vehicles Symposium (2010)