Quoc Huy Do

According to our database, Quoc Huy Do authored at least 15 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.

Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Nils Wenzler, Tim Würtele

IACR Cryptol. ePrint Arch., 2021

An In-Depth Symbolic Security Analysis of the ACME Standard.

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele

IACR Cryptol. ePrint Arch., 2021

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code.

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele

Proceedings of the IEEE European Symposium on Security and Privacy, 2021

A Tutorial-Style Introduction to DY*.

Karthikeyan Bhargavan, Abhishek Bichhawat, Quoc Huy Do, Pedram Hosseyni, Ralf Küsters, Guido Schmitz, Tim Würtele

Proceedings of the Protocols, Strands, and Logic, 2021

2017

Human Drivers Based Active-Passive Model for Automated Lane Change.

Quoc Huy Do, Hossein Tehrani Niknejad, Seiichi Mita, Masumi Egawa, Kenji Muto, Keisuke Yoneda

IEEE Intell. Transp. Syst. Mag., 2017

2015

General behavior and motion model for automated lane change.

Hossein Tehrani Niknejad, Quoc Huy Do, Masumi Egawa, Kenji Muto, Keisuke Yoneda, Seiichi Mita

Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

2014

Narrow passage path planning using fast marching method and support vector machine.

Quoc Huy Do, Seiichi Mita, Keisuke Yoneda

Proceedings of the 2014 IEEE Intelligent Vehicles Symposium Proceedings, 2014

2013

A Practical and Optimal Path Planning for Autonomous Parking Using Fast Marching Algorithm and Support Vector Machine.

Quoc Huy Do, Seiichi Mita, Keisuke Yoneda

IEICE Trans. Inf. Syst., 2013

Dynamic and Safe Path Planning Based on Support Vector Machine among Multi Moving Obstacles for Autonomous Vehicles.

Quoc Huy Do, Seiichi Mita, Hossein Tehrani Niknejad, Long Han

IEICE Trans. Inf. Syst., 2013

Vehicle path planning with maximizing safe margin for driving using Lagrange multipliers.

Quoc Huy Do, Hossein Tehrani Niknejad, Keisuke Yoneda, Ryohei Sakai, Seiichi Mita

Proceedings of the 2013 IEEE Intelligent Vehicles Symposium (IV), 2013

2012

Real time localization, path planning and motion control for autonomous parking in cluttered environment with narrow passages.

Hossein Tehrani Nik Nejad, Quoc Huy Do, Ryohei Sakai, Long Han, Seiichi Mita

Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

2011

Safe path planning among multi obstacles.

Quoc Huy Do, Long Han, Hossein Tehrani Niknejad, Seiichi Mita

Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

Optimal motion generation for autonomous vehicle in maze-like environment.

Long Han, Quoc Huy Do, Chunzhao Guo, Seiichi Mita

Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Unified path planner for parking an autonomous vehicle based on RRT.

Long Han, Quoc Huy Do, Seiichi Mita

Proceedings of the IEEE International Conference on Robotics and Automation, 2011

2010

Bézier curve based path planning for autonomous vehicle in urban environment.

Long Han, Hironari Yashiro, Hossein Tehrani Niknejad, Quoc Huy Do, Seiichi Mita

Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010