Trace-Relating Compiler Correctness and Secure Compilation

preview_player
Показать описание
Presenter: Carmine Abate

Presented at PriSC'20, colocated with POPL'20.
  1. ACM SIGPLAN
Рекомендации по теме
Trace-Relating Compiler Correctness 0:21:18

Trace-Relating Compiler Correctness and Secure Compilation

[PriSC'22] SecurePtrs: Proving 0:25:30

[PriSC'22] SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn

Reconciling Optimization With 0:16:15

Reconciling Optimization With Secure Compilation

[PriSC'25] Non-Interference Preserving 0:26:15

[PriSC'25] Non-Interference Preserving and Optimising Compilation with Hyperproperty Simulation...

[POPL 2021] PriSC 3:37:01

[POPL 2021] PriSC

Verifying Low-level Code 1:20:03

Verifying Low-level Code for Security and Correctness using F* [2/4] - Nikhil Swamy - OPLSS 2019

[PLMW @ POPL25] 0:14:40

[PLMW @ POPL25] My Journey in Secure Compilation

Securing Software via 0:52:40

Securing Software via Design and Proof

Read a paper: 0:11:07

Read a paper: Replacing Paging with Compiler/Kernel Cooperation

Attacking Client-Side JIT 0:42:34

Attacking Client-Side JIT Compilers

CppCon 2015: Kostya 0:59:15

CppCon 2015: Kostya Serebryany “Beyond Sanitizers...”

Jérémy Thibault - 0:14:54

Jérémy Thibault - Nanopass Back-Translation of Multiple Traces for Secure Compilation Proofs

Safety Critical Compilers 0:47:14

Safety Critical Compilers for Cyber Security & Reliable Development

WebAssembly as an 0:23:32

WebAssembly as an Intermediate Language for Provably-Safe Software Sandboxing

2018-03-07 CERIAS - 0:40:42

2018-03-07 CERIAS - CFIXX -- Object Type Integrity for C++

SAFARI Live Seminar 1:24:03

SAFARI Live Seminar - Evolving abstractions within & around compilers to support HW & app. t...

The Future of 1:00:30

The Future of C++ Parallel and Concurrency Safety Guidelines - Michael Wong & Ilya Burylov CppCo...

Gillian, Part I 0:16:58

Gillian, Part I A Multi language Platform for Symbolic Execution

#Eko2020 Main Track 0:46:32

#Eko2020 Main Track | Static analysis-based recovery of service function calls in UEFI firmware

Applied MPC 0:40:01

Applied MPC

Lucet: A Compiler 0:53:49

Lucet: A Compiler and Runtime for High-Concurrency Low-Latency Sandboxing

ARS 2020: Track 1:22:14

ARS 2020: Track on Verification

Verifying the Verifier 0:25:30

Verifying the Verifier eBPF Range Analysis Verification - Harishankar Vishwanathan

Safety Critical Compilers 0:47:14

Safety Critical Compilers for Cyber Security & Reliable Development - Joint webinar with AFuzion

join shbcf.ru