Sciweavers

21 search results - page 1 / 5
» csfw 2009
Sort
View
CSFW
2009
IEEE
16 years 16 days ago
Language-Based Isolation of Untrusted JavaScript
Sergio Maffeis, Ankur Taly
120
Voted
CSFW
2009
IEEE
16 years 16 days ago
Expressive Power of Definite Clauses for Verifying Authenticity
Gilberto Filé, Roberto Vigo
CSFW
2009
IEEE
16 years 16 days ago
A Secure Cryptographic Token Interface
Christian Cachin, Nishanth Chandran
CSFW
2009
IEEE
16 years 16 days ago
Tight Enforcement of Information-Release Policies for Dynamic Languages
This paper studies the problem of securing information release in dynamic languages. We propose (i) an intuitive framework for information-release policies expressing both what ca...
Aslan Askarov, Andrei Sabelfeld