Sumários
Static Analysis of High Level Languages
4 dezembro 2018, 09:30 • Rodrigo Miguel Corredoura Janota Rato
Type checking program exercises.
Language Based Security - Static analysis of high-level languages
3 dezembro 2018, 11:00 • Pedro Adão
Lab3: Type checking programs (1.1.a, 2)
Dynamic analysis of dynamic languages
3 dezembro 2018, 09:30 • Pedro Adão
Web security and Dynamic Language.
Monitoring Information flow in Dynamic WHILE: Lock-step monitor for Dynamic WHILE. Inlining compiler of a monitor for Dynamic WHILE.
Language Based Security - Static analysis of high-level languages
3 dezembro 2018, 08:00 • Pedro Adão
Lab3: Type checking programs (1.1.a, 2)
Static analysis of high-level languages
30 novembro 2018, 11:00 • Pedro Adão
Steps for Information flow analysis: Noninterference. Type systems for noninterference.