1183 search results - page 1 / 237 » On flow-sensitive security types |
RV
2010
Springer
13 years 3 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
CSFW
2007
IEEE
13 years 8 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
CSFW
2010
IEEE
13 years 8 months ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
WAIFI
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. We focus on the implementation and security aspects of cryptographic protocols that use Type 1 and Type 4 pairings. On the implementation front, we report improved timing...
CCS
2011
ACM
12 years 4 months ago
2011
ACM
