We stand with Ukraine  

Tobias Nießen

Orcid: 0000-0002-7712-0006

Affiliations:
  • TU Vienna, Institute of Logic and Computation, Austria
  • University of New Brunswick, Canada (former)


According to our database1, Tobias Nießen authored at least 6 papers between 2020 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

Online presence:

On csauthors.net:

Bibliography

2026
Optimizing Agent Planning for Security and Autonomy.
[BibTeX]
[DOI]
Aashish Kolluri
,
Rishi Sharma
,
Manuel Costa
,
Boris Köpf
,
Tobias Nießen
,
Mark Russinovich
,
Shruti Tople
,
Santiago Zanella-Béguelin
CoRR, February, 2026

Trusted and Transparent Time-Stamping Through TEEs and Network Time Security.
[BibTeX]
[DOI]
Tobias Nießen
,
Andrew Paverd
Proceedings of the 9th Workshop on System Software for Trusted Execution, 2026

2025
Symbolic execution for refuting ∀∃ hyperproperties.
[BibTeX]
[DOI]
Arthur Correnson
,
Tobias Nießen
,
Bernd Finkbeiner
,
Georg Weissenbacher
Acta Informatica, December, 2025

2024
Finding ∀∃ Hyperbugs using Symbolic Execution.
[BibTeX]
[DOI]
Arthur Correnson
,
Tobias Nießen
,
Bernd Finkbeiner
,
Georg Weissenbacher
Proc. ACM Program. Lang., 2024

Differential Property Monitoring for Backdoor Detection.
[BibTeX]
[DOI]
Otto Brechelmacher
,
Dejan Nickovic
,
Tobias Nießen
,
Sarah Sallinger
,
Georg Weissenbacher
Proceedings of the Formal Methods and Software Engineering, 2024

2020
Insights into WebAssembly: compilation performance and shared code caching in Node.js.
[BibTeX]
[DOI]
Tobias Nießen
,
Michael Dawson
,
Panos Patros
,
Kenneth B. Kent
Proceedings of the CASCON '20: Proceedings of the 30th Annual International Conference on Computer Science and Software Engineering, Toronto, Ontario, Canada, November 10, 2020


  Loading...