Search Sciweavers | Sciweavers

6812 search results - page 83 / 1363

» Detection of Information Flows

click to vote

ICFP
2000
ACM

107views Programming Languages» more ICFP 2000»

Information flow inference for free

15 years 5 months ago

Download www.cs.ucla.edu

François Pottier, Sylvain Conchon

claim paper

Read More »

click to vote

MM
2000
ACM

94views Multimedia» more MM 2000»

Associating network flows with user and application information

15 years 5 months ago

Download folk.uio.no

Ralf Ackermann, Utz Roedig, Michael Zink, Carsten ...

claim paper

Read More »

112

click to vote

POPL
1998
ACM

109views Programming Languages» more POPL 1998»

From Polyvariant Flow Information to Intersection and Union Types

15 years 5 months ago

Download www.cs.ucla.edu

Jens Palsberg, Christina Pavlopoulou

claim paper

Read More »

click to vote

MPC
1998
Springer

81views Mathematics» more MPC 1998»

A Semantic Approach to Secure Information Flow

15 years 5 months ago

Download www.hpl.hp.com

K. Rustan M. Leino, Rajeev Joshi

claim paper

Read More »

click to vote

CSFW
1996
IEEE

101views Security Privacy» more CSFW 1996»

A Logic of Composition for Information Flow Predicates

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers