Search Sciweavers | Sciweavers

2079 search results - page 63 / 416

» Quantifying Information Flow

click to vote

ASIAN
2007
Springer

72views Algorithms» more ASIAN 2007»

Information Flow Testing

14 years 1 months ago

Download www.qatar.cmu.edu

Gurvan Le Guernic

claim paper

Read More »

click to vote

CCS
2007
ACM

113views Security Privacy» more CCS 2007»

Verification condition generation for conditional information flow

14 years 1 months ago

Download people.cis.ksu.edu

Torben Amtoft, Anindya Banerjee

claim paper

Read More »

click to vote

WISTP
2007
Springer

87views Security Privacy» more WISTP 2007»

An Information Flow Verifier for Small Embedded Systems

14 years 1 months ago

Download wistp2007.wistp.org

Dorina Ghindici, Gilles Grimaud, Isabelle Simplot-...

claim paper

Read More »

click to vote

CSFW
2006
IEEE

119views Security Privacy» more CSFW 2006»

Encoding Information Flow in Haskell

14 years 1 months ago

Download www.cis.upenn.edu

This paper presents an embedded security sublanguage for enforcing information-ﬂow policies in the standard Haskell programming language. The sublanguage provides useful informa...

Peng Li, Steve Zdancewic

claim paper

Read More »

click to vote

INFOCOM
2005
IEEE

89views Communications» more INFOCOM 2005»

Flow control as stochastic optimal control problem with incomplete information

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers