Home
Team
Teaching
Research
Contact
Openings
Available Theses
HiWi Calls
Research @ COMSYS
Research Vision
Publications
Books
Technical Reports
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Industrial Internet of Things
Internet Measurements
Publications
Year:
All
::
2000
, ... ,
2017
,
2018
,
2019
, ... ,
2023
All
2023
2022
2021
2020
2019
2018
2017
2016
2014
2013
2010
2008
2007
2006
2005
2004
2000
Author:
All
::
A
,
B
,
C
,
D
,
E
,
F
,
G
,
H
,
I
,
J
,
K
,
L
,
M
,
N
,
O
,
Ö
,
P
,
Q
,
R
,
S
,
T
,
U
,
V
,
W
,
X
,
Y
,
Z
All
::
Naab
, ... ,
Neukirchen
,
Niedermayer
,
Niemietz
, ... ,
Nürnberger
N*
Naab
Naghibi
Nagl
Navarro Pérez
Neudecker
Neukirchen
Niedermayer
Niemietz
Nitsch
Nobach
Noll
Nowack
Ntougias
Nürnberger
22.
Daniel Schemmel
,
Julian Büning
,
Oscar Soria Dustmann
,
Thomas Noll
, and
Klaus Wehrle
Symbolic Liveness Analysis of Real-World Software
Computer Aided Verification (CAV 2018)
July 2018
DOI:
10.1007/978-3-319-96142-2_27
21.
Quirin Scheitle
,
Taejoong Chung
,
Jens Hiller
,
Oliver Gasser
,
Johannes Naab
,
Roland van Rijswijk-Deij
,
Oliver Hohlfeld
,
Ralph Holz
,
Dave Choffnes
,
Alan Mislove
, and
Georg Carle
A First Look at Certification Authority Authorization (CAA)
ACM SIGCOMM Computer Communications Review (CCR),
48
:10-23
April 2018
DOI:
10.1145/3213232.3213235
https://ccronline.sigcomm...hority-authorization-caa/
Export as:
BibTeX
,
XML
-
Impressum
|
Datenschutz
-