Lukas Heimes (0009-0009-0085-865X)

We notice you are using a browser that our site does not support. Some features on this site may not work correctly. We recommend that you upgrade to a supported browser.

Activities

Collapse all

A Formal Framework for End-to-End DNS Resolution

2023-09-10 | Conference paper

DOI: 10.1145/3603269.3604870

Contributors: Si Liu; Huayi Duan; Lukas Heimes; Marco Bearzi; Jodok Vieli; David Basin; Adrian Perrig

Show more detail

Source:

check_circle

Crossref

How many people are using ORCID?

https://orcid.org/0009-0009-0085-865X

Activities

Works (1)

A Formal Framework for End-to-End DNS Resolution

https://orcid.org/0009-0009-0085-865X

Personal information

Activities

Works (1)

A Formal Framework for End-to-End DNS Resolution