High-assurance software laboratory

Research classification (Frascati)
Head of the research group
functional and dependently-typed programming
software verification and testing
formalized programming theory
The group conducts research into theories,methods and tools for developing high-assurancesoftware, specializing on both proofs (certifiedsoftware) and testing.
Important results
A dataset for detection of Android malware wascollected and curated that covers the full historyof the operating system.A construction was given for a digital signaturescheme that makes it possible to use the samekey pair multiple times based on timestamping.Focused sequent calculi were identified for partially normal skew monoidal, skew prounitalclosed and skew symmetric monoidal closedcategories.
Period of activity of the research group
Related department
Teadusgrupiga seotud publikatsioonid