Videos
Here you can watch some videos about research projects at STS.
To learn more about a project, click on its name.
 | CAPVerDE - Privacy |
 | CAPVerDE - Workflow |
 | Soft Errors Detecting "soft errors" (i.e, temporary hardware glitches) solely by means of software |
 | BDDStab BDDStab is a non-convex abstract domain for the binary analysis framework Jakstab. |
 | regVIS Lightweight Structured Visualization of Assembler Control-Flow based on Regular Expressions |
 | SPALTER |
