Quoc Huy Do

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