Sébasten Bardin, CEA "Formal methods: from source-level safety to binary-level security"

Display subtitles automatically

None
In the preferred language only when the video is using another
Always in the preferred language
Always in the original language of the video

Preferred language:

Qualities

UbiCast player x

Keyboard shortcuts

Key

Action

K or space

Play / Pause

Mute / Unmute

Select next subtitles

Select next audio track

Show slide in full page or toggle automatic source change

left arrow

Seek 5s backward

right arrow

Seek 5s forward

shift + left arrow or J

Seek 10s backward

shift + right arrow or L

Seek 10s forward

control + left arrow

Seek 60s backward

control + right arrow

Seek 60s forward

shift + down arrow

Decrease volume

shift + up arrow

Increase volume

shift + comma

Decrease playback rate

shift + dot or shift + semicolon

Increase playback rate

end

Seek to end

beginning

Seek to beginning

Loading Click here to add:

Information on this media

Number of views:

49 (this month: 1)

Creation date:

Nov. 21, 2018

Sébasten Bardin, CEA "Formal methods: from source-level safety to binary-level security"

Information on this media

Links:

Number of views:

Creation date:

Other media in the channel "Journée des GT SSL/SRI du Pre-GDR sécurité informatique a EURECOM"