Anh V. Vu
The University of Cambridge

Email: anh.vu (at) cl.cam.ac.uk
Address: Room GE 20, William Gates Building, 15 JJ Thomson Ave, CB3 0FD
  • Hi there! My name is Anh. I am presently working as a Research Assistant within the Cybercrime Center at the Department of Computer Science and Technology, University of Cambridge. My research interests mainly lie in the field of Computer & Network Security. I am from 🇻🇳 Vietnam, where the world's largest cave Son Doong has been discovered!
  • Numbers+8 • four • 89 • eight • 38 • eight • 38 • six
  • FingerprintC68E 1DA0 72C0 FC74 D55D CF20 D5BB 65B5 0EF9 00B2

News


🇬🇧 21 Oct 2019: I joined the University of Cambridge as a Research Assistant working within the Cybercrime Center at the Department of Computer Science and Technology with Dr. Richard Clayton and Prof. Ross Anderson
🇵🇹 11 Oct 2019: I gave a nice talk on the semi-automatic semantics formalisation for ARM at FM'19 symposium in Portugal
🎉 01 Jul 2019: Our recent study on a stealthy Bitcoin partitioning attack has just been accepted to appear at The 41st IEEE Symposium on Security and Privacy (S&P'20) - a very highly reputed conference on security and privacy. Congratulations!
🎉 12 Jun 2019: A joint work with Prof. Mizuhito Ogawa on the Semantics Formalisation for ARM has just been accepted to appear at The 23rd International Symposium on Formal Methods (FM'19) - one of the most prestigious conferences on Formal Methods. Congrats!
🇸🇬 06 Jan 2019: I joined National University of Singapore as a research intern working with my advisor Asst Prof. Min Suk Kang
🇯🇵 21 Dec 2018: I received my M.Sc Degree in Information Science from Japan Advanced Institute of Science and Technology. Congrats!
🇻🇳 30 May 2016: I obtained my Bachelor Degree (highest distinction) from University of Engineering and Technology, VNU. Congrats to me!

Education

Master of Science

Dec 2018 Information Science

🇯🇵 Japan Advanced Institute of Science and Technology

Bachelor of Science

Jun 2016 Information Technology

🇻🇳 University of Engineering and Technology, VNU

Experience

Research Assistant

Oct 2019 - Present Cybercrime

🇬🇧 Cybercrime Center, University of Cambridge

Research Intern

Jan 2019 - Jul 2019 Blockchain P2P Network Security

🇸🇬 School of Computing, National University of Singapore

Research Assistant

Oct 2017 - Dec 2018 Formal Methods in Security Engineering

🇯🇵 Japan Advanced Institute of Science and Technology

Lecturer

Oct 2016 - Sep 2017 Software Engineering Department

🇻🇳 University of Engineering and Technology, VNU

International Conferences

A Stealthier Partitioning Attack against Bitcoin Peer-to-Peer Network

Muoi Tran, Inho Choi, Gi Jun Moon, Anh V. Vu, and Min Suk Kang May 2020, San Francisco, CA, USA

🇺🇸 In Proceedings of IEEE Symposium on Security and Privacy (IEEE S&P)   •   A* Ranked   •   Paper   •   Webpage

Formal Semantics Extraction from Natural Language Specifications for ARM

Anh V. Vu and Mizuhito Ogawa October 2019, Porto, Portugal

🇵🇹 In Proceedings of International Symposium on Formal Methods (FM)   •   A Ranked   •   Paper   •   Slides

Theses / Dissertations

Formal Semantics Extraction from Natural Language Specifications for ARM

Master's Thesis Advisor: Prof. Mizuhito Ogawa

🇯🇵 Japan Advanced Institute of Science and Technology (JAIST)
Keywords: Semantics Formalisation, Dynamic Symbolic Execution, Malware Analysis

User Behavior Analysis and Personalisation in a Vietnamese Medical Information System

Bachelor's Thesis Advisor: Assoc Prof. Xuan Hieu Phan

🇻🇳 University of Engineering and Technology, Vietnam National University (UET-VNU)
Keywords: Personalisation, Topic Modeling, Recommendation System

My Services

Responsive Design

Web Design

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor.

Photography

Photography

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor.

Creativity

Management

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor.

Advetising

Advertising

Lorem ipsum dolor sit amet, consectetur adipisicing elit, sed do eiusmod tempor.

Clients

image
image
image
image
image
image

Testimonials

Pricing

Plan 1
$64 per month
Lorem ipsum dolor
Pellentesque scelerisque
Morbi eu sagittis
Plan 2
$128 per month
Lorem ipsum dolor
Pellentesque scelerisque
Morbi eu sagittis
Donec non diam
Plan 3
$256 per month
Lorem ipsum dolor
Pellentesque scelerisque
Morbi eu sagittis
Donec non diam
Aenean nec libero

Reading List

I love reading novels and books. My ultimate goal is to read 1000 books before I am gone


✔️ The Godfather

Crime Novel Mario Puzo

✔️ Currency Wars

Financial Book Song Hongbing

✔️ Will you be there?

Romance & Fiction Novel Guillaume Musso

✔️ Who's Got Your Back

Book Keith Ferrazzi

Never Eat Alone

Book Keith Ferrazzi

Good to Great

Book Jim Collins

✔️ The Crowd: A Study of the Popular Mind

Book Gustave Le Bon

✔️ The Reader

Crime Novel Mario Puzo

The Book of Why

Crime Novel Judea Pearl & Dana Mackenzie

Watching List

I love watching historical and sci-fi movies. Here is the list that I highly recommend you to watch once (at least) in your lifetime.


✔️ Enemy at the Gates

Historical Mario Puzo

✔️ Three Idiots

Crime Novel Mario Puzo

✔️ Amadeus

Musician Mario Puzo

✔️ The Pianist

Historical Mario Puzo

✔️ The Reader

Historical, Romance Mario Puzo

✔️ Game of Thrones (Series)

Fiction Mario Puzo

✔️ Harry Potter (Series)

Fiction J. K. Rowling

✔️ The Lord of the Rings (Series)

Fiction Director: Peter Jackson

✔️ Three Kingdoms 2010 (Series)

Historical Director: Peter Jackson

✔️ Fast and Furious (Series)

Action Director: Peter Jackson

✔️ Pearl Harbor

Historical Director: Peter Jackson

High Kick Through the Roof

Family Judea Pearl & Dana Mackenzie

Titanc

Romance, Historical Judea Pearl & Dana Mackenzie
I often do enjoy playing guitar and piano when I have some leisure time.
女儿情 Guitar Cover