Search Sciweavers | Sciweavers

315 search results - page 4 / 63

» Arrows for secure information flow

Voted

CSFW
2010
IEEE

174views Security Privacy» more CSFW 2010»

Quantitative Information Flow - Verification Hardness and Possibilities

15 years 24 days ago

Download www.kb.ecei.tohoku.ac.jp

Hirotoshi Yasuoka, Tachio Terauchi

claim paper

Read More »

click to vote

JCS
2008

124views more JCS 2008»

Securing information flow via dynamic capture of dependencies

14 years 9 months ago

Download www.cs.jhu.edu

Although static systems for information flow security are well-studied, few works address runtime information flow monitoring. Runtime information flow control offers distinct adv...

Paritosh Shroff, Scott F. Smith, Mark Thober

claim paper

Read More »

click to vote

HASKELL
2008
ACM

100views Programming Languages» more HASKELL 2008»

A library for light-weight information-flow security in haskell

14 years 10 months ago

Download www.cse.chalmers.se

Protecting conﬁdentiality of data has become increasingly important for computing systems. Information-ﬂow techniques have been developed over the years to achieve that purpos...

Alejandro Russo, Koen Claessen, John Hughes

claim paper

Read More »

click to vote

CCS
2008
ACM

81views Security Privacy» more CCS 2008»

Trust management for secure information flows

14 years 11 months ago

Download www.usukita.org

Mudhakar Srivatsa, Shane Balfe, Kenneth G. Paterso...

claim paper

Read More »