-
Uddannelse
Find uddannelse
Studievejledning
Kvalitet
- Forskning
-
Samarbejde
Virksomheder
Kommuner og regioner
Gymnasier
Myndigheder
-
Om AU
Organisation
Kontakt
Om AU
- Organisation
- Ledelse
- Strategi
- AU i tal
- AU's historie
- Internationalt samarbejde
- Bæredygtighed
- Campus 2.0
- Diversitet og ligestilling
- Ledige stillinger
- Presse
- Kontakt
Aslan Askarov
Lektor
Åbogade 34
bygning 5341, 216
8200 Aarhus N
Danmark
Mobil: +4523823124
- Udgivet
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
OblivIO: Securing reactive programs by oblivious execution with bounded traffic overheads
Publikation: Konferencebidrag › Paper › Forskning › peer review
- Udgivet
Nontransitive policies transpiled
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
Misinformed messaging app choices based on privacy misconceptions
Pris: Priser, stipendier, udnævnelser
ID: 79020512