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
Mobile: +8 • four • 89 • 838 • 838 • six
  • Hi there! My name is Anh. I am currently working as a Research Assistant at the Department of Computer Science and Technology, University of Cambridge. My research interests mainly lie in the field of Computer & Network Security. Beyond doing research, I love observing surrounding planets, deep objects, galaxies and supernovas far away in the night sky. I became a member of Cambridge University Astronomical Society since February 2020. Here is a photo of Moon's surface taken by me through the Northumberland Telescope. I am a minimalist and perfectionist. My home country is ๐Ÿ‡ป๐Ÿ‡ณ Vietnam, where the world's largest cave Son Doong has been discovered!
  • FingerprintC68E 1DA0 72C0 FC74 D55D CF20 D5BB 65B5 0EF9 00B2

News


๐Ÿ‡ฌ๐Ÿ‡ง 21 Feb 2020: I became a member of Cambridge University Astronomical Society, having unlimited access to the vitally precious Northumberland and Thorrowgood telescopes at the Cambridge Institute of Astronomy. Amazing!
๐Ÿ‡ฌ๐Ÿ‡ง 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 in Information Technology with 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

Employment

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

Teaching Assistant

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'20)   •   CORE A*   •   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'19)   •   CORE A   •   Paper   •   Slides   •   Photos

Posters

Healthkee: A Symptom Checker and Personalised Health Information Service

Nguyen Van Giap, Le Dinh Minh, Anh V. Vu, and Phan Xuan Hieu April 2016, Hanoi, Vietnam

๐Ÿ‡ป๐Ÿ‡ณ In Student Scientific Contest, University of Engineering and Technology, Vietnam National University   •   Report   •   Poster

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
Keywords: Applied Formal Methods, Semantics Formalisation, 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
Keywords: Recommendation System, Data Mining, Topic Modeling

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.

Things I Like

  • Staying alone at midnight with random thoughts.
  • Saving moments in my life by capturing things happened. So whenever looking back at these photos, moments in the past could be immediately recalled in my mind.
  • Travelling.
  • Organising things. For example, getting stuff in my personal space organised.
  • Minimalism and perfectionism.
  • Working at night instead. Yeah, unsurprisingly.
  • Animal, especially cats.
  • Making computers doing stuff I want (a.k.a programming).
  • Writing up and sharing what I've known.
  • Classical music, especially Mozart's.
  • Playing Guitar. I can play both fingerstyle and classical styles. I can also play Piano but not much.
  • Observing the night sky through telescopes.
  • Tiny lovely stuff.
  • Solving rubik. I am not a professional but thing gets me addicted is actually the feeling of moving my fingers at speed.

Things I Dislike

  • Tobacco smoke.
  • Insects, especially cockroaches.
  • Keeping things duplicated.
  • Talkative people.

Favourite Books

  • Currency Wars - Song Hongbing
  • Who's Got Your Back - Keith Ferrazzi
  • Good to Great - Jim Collins
  • The Crowd: A Study of the Popular Mind - Gustave Le Bon
  • Will You Be There? - Guillaume Musso
  • The Reader - Bernhard Schlink
  • The Da Vinci Code - Dan Brown
  • The Lost Symbol - Dan Brown
  • The Godfather - Mario Puzo

Favourite Movies

  • The Pianist - Roman Polanski
  • The Reader - Stephen Daldry
  • Amadeus - Miloลก Forman
  • Titanic - James Cameron
  • Parasite - Bong Joon-ho
  • Interstellar - Christopher Nolan
  • Three Idiots - Rajkumar Hirani

Things I Would Suggest

  • Try to span what you've learned to other areas. Pay more effort to learn transferable skills.
  • To keep things secured, make it simple. The more complex things are, the higher chance to get it broken.
  • Pay more attention on adversarial threats and side effects when building something. Plan all possible situations could happen and carefully consider the trade-off, especially from the economic perspective.
  • Don't waste your precious time doing something that you are not indeed interested. Just say no<.
  • Search before building stuff yourself. That's always better to stand on the shoulders of giants.
  • Avoid doing two time-consuming things simultaneously. Instead, put the best effort on the most important first, then move on after getting it perfectly finished.
  • Don't wait until you are asked to do something. Be proactive.
  • There is always something could be improved when diving in deep enough.
  • Attitude is much more important than intelligence. This is, in fact, something that we can learn and improve by time, so why not build a great one yourself?

Favourite Quotes

  • Simplicity is the ultimate sophistication - Leonardo Da Vinci
  • I have no special talent. I am only passionately curious - Albert Einstein
  • Great things take time - Unknown