Quoc Huy Do

Orcid: 0000-0003-4020-7746

Affiliations:
  • Toyota Technological Institute, Nagoya, Japan


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
A Formal Security Analysis of the W3C Web Payment APIs: Attacks and Verification.
IACR Cryptol. ePrint Arch., 2021

An In-Depth Symbolic Security Analysis of the ACME Standard.
IACR Cryptol. ePrint Arch., 2021

DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code.
Proceedings of the IEEE European Symposium on Security and Privacy, 2021

A Tutorial-Style Introduction to DY*.
Proceedings of the Protocols, Strands, and Logic, 2021

2017
Human Drivers Based Active-Passive Model for Automated Lane Change.
IEEE Intell. Transp. Syst. Mag., 2017

2015
General behavior and motion model for automated lane change.
Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

2014
Narrow passage path planning using fast marching method and support vector machine.
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.
IEICE Trans. Inf. Syst., 2013

Dynamic and Safe Path Planning Based on Support Vector Machine among Multi Moving Obstacles for Autonomous Vehicles.
IEICE Trans. Inf. Syst., 2013

Vehicle path planning with maximizing safe margin for driving using Lagrange multipliers.
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.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

2011
Safe path planning among multi obstacles.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2011

Optimal motion generation for autonomous vehicle in maze-like environment.
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

Unified path planner for parking an autonomous vehicle based on RRT.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

2010
Bézier curve based path planning for autonomous vehicle in urban environment.
Proceedings of the IEEE Intelligent Vehicles Symposium (IV), 2010


  Loading...