The SEAL Lab (Systematic sEcurity anAlysis and evaLuation Lab) works on the systematic analysis and evaluation of security in software and systems.
