This file was created by the TYPO3 extension
bib
--- Timezone: CEST
Creation date: 2024-09-08
Creation time: 02-11-39
--- Number of references
3
inproceedings
2018-soria-dustmann-parti
PARTI: A Multi-interval Theory Solver for Symbolic Execution
2018
9
symbiosys
file:2195
Proceedings of the 2018 Conference on Automated Software Engineering (ASE'18)
10.1145/3238147.3238179
1
OscarSoria Dustmann
KlausWehrle
CristianCadar
inproceedings
2018-rueth-reflexnetcompute
Towards In-Network Industrial Feedback Control
2018
8
20
reflexes
https://www.comsys.rwth-aachen.de/fileadmin/papers/2018/2018-rueth-reflexnetcompute.pdf
ACM
Proceedings of the ACM SIGCOMM 2018 1st Workshop on In-Network Computing (NetCompute '18)
Budapest, Hungary
ACM SIGCOMM 2018 1st Workshop on In-Network Computing (NetCompute 2018)
20.08.2018
10.1145/3229591.3229592
1
JanRüth
RenéGlebke
KlausWehrle
VedadCausevic
SandraHirche
article
2018-scheitle-ccr-caa
A First Look at Certification Authority Authorization (CAA)
ACM SIGCOMM Computer Communications Review (CCR)
2018
4
48
10-23
https://www.net.in.tum.de/fileadmin/bibtex/publications/papers/caa17.pdf
internet-measurements
https://ccronline.sigcomm.org/wp-content/uploads/2018/05/sigcomm-ccr-final163.pdf
https://ccronline.sigcomm.org/2018/a-first-look-at-certification-authority-authorization-caa/
2018-06-05
10.1145/3213232.3213235
1
QuirinScheitle
TaejoongChung
JensHiller
OliverGasser
JohannesNaab
Rolandvan Rijswijk-Deij
OliverHohlfeld
RalphHolz
DaveChoffnes
AlanMislove
GeorgCarle