Sciweavers

1599 search results - page 1 / 320
» Program Analysis for Security and Privacy
Sort
View
MOR
2010
86views more  MOR 2010»
13 years 2 months ago
Sensitivity Analysis in Linear Semi-Infinite Programming via Partitions
Miguel A. Goberna, Tamás Terlaky, Maxim I. ...
ECOOPW
2006
Springer
13 years 11 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
14 years 2 months ago
Concurrency by default: using permissions to express dataflow in stateful programs
Sven Stork, Paulo Marques, Jonathan Aldrich