Search Sciweavers | Sciweavers

519 search results - page 17 / 104

» Control flow obfuscation with information flow tracking

click to vote

CSFW
2005
IEEE

136views Security Privacy» more CSFW 2005»

Achieving Information Flow Security through Precise Control of Effects

14 years 2 months ago

Download www.cs.missouri.edu

This paper advocates a novel approach to the construction of secure software: controlling information ﬂow and maintaining integrity via monadic encapsulation of effects. This ap...

William L. Harrison, James Hook

claim paper

Read More »

click to vote

ICSE
2005
IEEE-ACM

208views Software Engineering» more ICSE 2005»

An empirical evaluation of test case filtering techniques based on exercising complex information flows

14 years 8 months ago

Download www-lb.cs.aub.edu.lb

Some software defects trigger failures only when certain complex information flows occur within the software. Profiling and analyzing such flows therefore provides a potentially i...

David Leon, Wes Masri, Andy Podgurski

claim paper

Read More »

click to vote

POPL
2010
ACM

206views Programming Languages» more POPL 2010»

Paralocks : Role-Based Information Flow Control and Beyond

14 years 1 months ago

Download www.cse.chalmers.se

Niklas Broberg, David Sands

claim paper

Read More »