Patrick Thomas Eugster
http://usi.to/z56
Funded projects
In progress (2)
Completed (12)
- Eugster P. T. (2025) Deterministic Distributed Systems (DEEDS)
- Eugster P. T. (2024) Quantum Network Specification and Verification
- Eugster P. T. (2023) Towards Dynamic Service Function Chaining
- Eugster P. T. (2022) Towards Session Type based Verification of Distributed Middleware Systems
- Eugster P. T. (2021) TLA+ based Verification of Blockchain Protocols
- Eugster P. T. (2021) Symmetric Homomorphic Encryption forLow-Latency Privacy-Preserving Data Processing
- Eugster P. T. (2021) BASIS - hyBrid Asynchronous/Synchronous dIstributed Systems
- Eugster P. T. (2020) A Methodological Approach to Privacy-Preserving Computation
- Eugster P. T. (2020) FORWARD - Fine-grained netwORk floW behAvior pReDiction
- Eugster P. T. (2020) Anomaly Detection for Resource-constrained Devices
- Eugster P. T. (2019) Towards Fine-grained Network Flow Prediction
- Eugster P. T. (2014) LiveSoft - Lightweight Verification of (Distributed Systems) Software
