[B-16] Internet Architecture

1:15 PM - 1:30 PM JST(4:15 AM - 4:30 AM UTC)

[B-16-13] Tamarin Prover を用いた DNS 通信の機関プライバシの一考察

〇Satoru Sunahara¹, Niko Kuroda, Shigeki Hagihara² (1. Hokkaido University., 2. Chitose Institute of Science and Technology.)

Keywords:

Formal Verification,DNS,Institutional privacy,Tamarin Prover,Anonymity

Password required to view