diff --git a/_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md b/_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md index e764afd864e2aeeaf4a7a88f335d7a90e2922066..889327566a24176d981c7fee857e2c8b8b282799 100644 --- a/_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md +++ b/_jobs/2021-08-05-control-flow-integrity-for-remote-attestation.md @@ -8,6 +8,8 @@ filled: false keywords: control flow Integrity, remote attestation, runtime verification, static analysis, source code generation --- +# {{ page.short }} + [Full description](http://julien.signoles.free.fr/positions/postdoc-cfi.pdf) #### Context: CEA List, Software Safety and Security Lab diff --git a/_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md b/_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md index 79013aae2cfe5ff5ef135d8746b6dfb0147dbd12..9c99fbf04a05e75314f6fb4d5afeaacc4c1c45a9 100644 --- a/_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md +++ b/_jobs/2021-08-05-designing-compilation-techniques-for-improving-efficiency-of-e-acsl.md @@ -8,6 +8,8 @@ filled: false keywords: runtime assertion checking, compilation, source code generation, static analysis --- +# {{ page.short }} + [Full description](http://julien.signoles.free.fr/positions/postdoc-eacsl.pdf) #### Context: CEA List, Software Safety and Security Lab diff --git a/_jobs/2021-08-05-outline-runtime-assertion-checking.md b/_jobs/2021-08-05-outline-runtime-assertion-checking.md index b116720bb278c8ae12b0ef561a0a8314436fa87a..1c0a5ba16742af48c512e0237932fd2b38b48030 100644 --- a/_jobs/2021-08-05-outline-runtime-assertion-checking.md +++ b/_jobs/2021-08-05-outline-runtime-assertion-checking.md @@ -8,6 +8,8 @@ filled: false keywords: runtime assertion checking, outline monitoring, compilation, source code generation --- +# {{ page.short }} + [Full description](http://julien.signoles.free.fr/positions/phd-outline-rac.pdf) #### Context: CEA List, Software Safety and Security Lab