Back to Results
First PageMeta Content
Eval / JavaScript / Programming language / Non-interference / Computer programming / Computing / Software engineering / Control flow


Secure multi-execution through static program transformation Gilles Barthe1 , Juan Manuel Crespo1 , Dominique Devriese2 , Frank Piessens2 , and Exequiel Rivas1 1
Add to Reading List

Open Document

File Size: 338,66 KB

Share Result on Facebook

City

Madrid / /

Company

SME / HP / Google / /

Facility

IMDEA Software Institute / /

IndustryTerm

Web applications / advertisement provider site / security type systems / /

Organization

IMDEA Software Institute / /

Person

Juan Manuel / /

Position

selectlowprio scheduler / proof assistant / scheduler / Agda proof assistant / /

Product

Agda / XMLHttpRequest / /

ProgrammingLanguage

php / L / Python / JavaScript / /

Technology

virtual machine / API / simulation / /

URL

http /

SocialTag