#KASTELSecurityResearchLabs

Congrats on winning the Best Paper Award!
“Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+” by M. Grundmann and H. Hartenstein received the Best Paper Award at iFM in Paris, Nov. 17–21, 2025.
publikationen.bibliothek.kit.edu/1000185190
#KASTELSecurityResearchLabs

Four papers at ASIACRYPT 2025 (Dec 8–12, Melbourne)!
www.iacr.org/cryptodb/dat...
iacr.org/cryptodb/dat...
eprint.iacr.org/2025/1220
eprint.iacr.org/2024/2075
Congrats to all authors!
#Asiacrypt2025 #KASTELSecurityResearchLabs

Counterfactual Self-adaptation in Cyber-Physical Systems Cyber-physical systems (CPS) operate in dynamic and uncertain environments, where maintaining operational objectives without manual intervention is critical. Self-adaptive systems (SAS) have emerged as a promising solution, leveraging machine learning (ML) models...

Congratulaions!

“Counterfactual Self-adaptation in Cyber-Physical Systems”, E. Elahi, M. Camilli, R. Mirandola won the Outstanding Paper Award at 51st Euromicro Conference on Software Engineering and Advanced Applications (SEAA) 2025.
link.springer.com/chapter/10.1...
#KASTELSecurityResearchLabs

Journal of the ACM Paper Accepted: “Axiomatization of Compact Initial Value Problems: Open Properties”
Authors: André Platzer, Long Qian

Read more: doi.org/10.1145/3763...

#KASTELSecurityResearchLabs