Sciweavers

1599 search results - page 1 / 320
» Program Analysis for Security and Privacy
Sort
View
MOR
2010
86views more  MOR 2010»
12 years 10 months ago
Sensitivity Analysis in Linear Semi-Infinite Programming via Partitions
Miguel A. Goberna, Tamás Terlaky, Maxim I. ...
ECOOPW
2006
Springer
13 years 7 months ago
Program Analysis for Security and Privacy
Abstract. Software security has become more important than ever. Unfortunately, still now, the security of a software system is almost always retrofitted to an afterthought. When s...
Marco Pistoia, Francesco Logozzo
OOPSLA
2009
Springer
13 years 10 months ago
Concurrency by default: using permissions to express dataflow in stateful programs
Sven Stork, Paulo Marques, Jonathan Aldrich