Send email Copy Email Address

EN (current)
DE

Back to previous menu level Menu

Home
Research
About CISPA
People
Career
News & Events
- Overview
- communication
Transfer & Outreach
Contact

Home
Research
Publications
Efficient monitoring of hyperproperties using prefix trees

2020-02

Efficient monitoring of hyperproperties using prefix trees

Tags

Reliable Security Guarantees

-

Date published

2020-02

Date last modified

2020-10-15 16:02:32

Authors

Bernd Finkbeiner
Christopher Hahn
Marvin Stenger
Leander Tentrup

Download

Research
About us
Career
News & Events
Transfer & Outreach

CISPA is committed to the highest international academic standards. We offer a world-class research environment that grants extensive resources to a wide range of researchers and constitutes an attractive destination for the best talents and scientists from all countries. In addition, we strongly support undergraduate and graduate education of Cybersecurity students, and we seek to become an elite training ground for the next generation of Cybersecurity experts and scientific leaders in this field.

CISPA Helmholtz Center for Information Security
Stuhlsatzenhaus 5
66123 Saarbrücken

+49 681 / 302 71900
+49 681 / 302 71942

Imprint
Data Privacy Policy
Sitemap

Copyright CISPA 2020