research
∙
02/28/2023
A Survey of Automatic Generation of Attack Trees and Attack Graphs
Graphical security models constitute a well-known, user-friendly way to ...
share
research
∙
11/03/2022
Trust Management for Internet of Things: A Systematic Literature Review
Internet of Things (IoT) is a network of devices that communicate with e...
research
∙
06/30/2022
Minimization of Dynamical Systems over Monoids
Quantitative notions of bisimulation are well-known tools for the minimi...
research
∙
06/01/2022
Formal Analysis of Lending Pools in Decentralized Finance
Decentralised Finance (DeFi) applications constitute an entire financial...
research
∙
06/25/2021
Reducing Boolean Networks with Backward Boolean Equivalence
Boolean Networks (BNs) are established models to qualitatively describe ...
research
∙
06/02/2021
Maximizing Extractable Value from Automated Market Makers
Automated Market Makers (AMMs) are decentralized applications that allow...
research
∙
02/22/2021
A theory of Automated Market Makers in DeFi
Automated market makers (AMMs) are one of the most prominent decentraliz...
research
∙
01/21/2021
Quantitative Security Risk Modeling and Analysis with RisQFLan
Domain-specific quantitative modeling and analysis approaches are fundam...
research
∙
12/24/2020
SoK: Lending Pools in Decentralized Finance
Lending pools are decentralized applications which allow mutually untrus...
research
∙
07/26/2017