diff options
| author | Florian Dold <florian.dold@gmail.com> | 2018-08-15 13:02:54 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2018-08-15 13:02:54 +0200 |
| commit | ea7c96cad272c9d33de2735166815e6e18544dc4 (patch) | |
| tree | 098220a6bbb164f792a940c525ef00a9276cb127 /conclusions.tex | |
| parent | ea8d686894ccdeb0a8556c20dcf4a3046c697502 (diff) | |
| download | dold-thesis-phd-ea7c96cad272c9d33de2735166815e6e18544dc4.tar.gz dold-thesis-phd-ea7c96cad272c9d33de2735166815e6e18544dc4.tar.bz2 dold-thesis-phd-ea7c96cad272c9d33de2735166815e6e18544dc4.zip | |
various fixes
Diffstat (limited to 'conclusions.tex')
| -rw-r--r-- | conclusions.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/conclusions.tex b/conclusions.tex index 55777e4..4d5e3c9 100644 --- a/conclusions.tex +++ b/conclusions.tex @@ -23,6 +23,9 @@ I.e. sharding, db replication, load balancer(s) \subsection*{UX study and improvements} (including tracking/planning of spending) +\subsection*{Formal verification of proofs} +(CryptoVerif, etc.) + \subsection{Others/TODO} probabilistic auditing |