Here you can watch some videos about research projects at STS. To learn more about a project, click on its name.
CAPVerDE - Privacy:
Soft ErrorsDetecting "soft errors" (i.e, temporary hardware glitches) solely by means of software
BDDStabBDDStab is a non-convex abstract domain for the binary analysis framework Jakstab.
regVISLightweight Structured Visualization of Assembler Control-Flow based on Regular Expressions.
SPALTERDriving Frama-C's Value Analysis Towards a User Specified Goal
Structural and Differential Analysis for Executables:
Formalization of Model-Driven Software Engineering:
A transformational approach to generic software development based on higher-order, typed functional signatures: