133 search results - page 8 / 27 » Inference of Session Types From Control Flow |
124
click to vote
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
126
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
112
Voted
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
— Virtualization is being widely adopted in today’s computing systems. Its unique security advantages in isolating and introspecting commodity OSes as virtual machines (VMs) ha...
190
click to vote
PADL
2011
Springer
14 years 5 months ago
2011
Springer
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
114
click to vote
MASCOTS
2001
15 years 3 months ago
2001
The congestion control mechanisms of TCP make it vulnerable in an environment where flows with different congestionsensitivity compete for scarce resources. With the increasing am...