Sciweavers

21 search results - page 1 / 5
» csfw 2009
Sort
View
85
Voted
CSFW
2009
IEEE
15 years 7 months ago
Language-Based Isolation of Untrusted JavaScript
Sergio Maffeis, Ankur Taly
77
Voted
CSFW
2009
IEEE
15 years 7 months ago
Expressive Power of Definite Clauses for Verifying Authenticity
Gilberto Filé, Roberto Vigo
81
Voted
CSFW
2009
IEEE
15 years 7 months ago
A Secure Cryptographic Token Interface
Christian Cachin, Nishanth Chandran
103
Voted
CSFW
2009
IEEE
15 years 7 months 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