Search Sciweavers | Sciweavers

4731 search results - page 17 / 947

» Securing Interactive Programs

click to vote

PLDI
2012
ACM

235views Programming Languages» more PLDI 2012»

Language-based control and mitigation of timing channels

13 years 2 days ago

Download www.cs.cornell.edu

We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...

Danfeng Zhang, Aslan Askarov, Andrew C. Myers

claim paper

Read More »

190

click to vote

POPL
2001
ACM

224views Programming Languages» more POPL 2001»

Programming language methods in computer security

15 years 10 months ago

Download theory.stanford.edu

traction

John C. Mitchell

claim paper

Read More »

132

click to vote

ESOP
2003
Springer

171views Programming Languages» more ESOP 2003»

Computer Security from a Programming Language and Static Analysis Perspective

15 years 2 months ago

Download gallium.inria.fr

Xavier Leroy

claim paper

Read More »

Voted

COMSWARE
2007
IEEE

180views Software Engineering» more COMSWARE 2007»

OASiS: A Programming Framework for Service-Oriented Sensor Networks

15 years 4 months ago

Download folk.uio.no

Abstract— Wireless sensor networks consist of small, inexpensive devices which interact with the environment, communicate with each other, and perform distributed computations in...

Manish Kushwaha, Isaac Amundson, Xenofon D. Koutso...

claim paper

Read More »

Voted

ISI
2006
Springer

68views Security Privacy» more ISI 2006»

A Trust Model for Uncertain Interactions in Ubiquitous Environments

14 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers