| |
Allen, Nicholas
|
SOAP '15: "Combining Type-Analysis with ..."
Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code
Nicholas Allen, Padmanabhan Krishnan, and Bernhard Scholz
(Oracle Labs, Australia)
@InProceedings{SOAP15p15,
author = {Nicholas Allen and Padmanabhan Krishnan and Bernhard Scholz},
title = {Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {15-14},
doi = {},
year = {2015},
}
|
| |
Arzt, Steven |
SOAP '15: "Using Targeted Symbolic Execution ..."
Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis
Steven Arzt, Siegfried Rasthofer, Robert Hahn, and Eric Bodden
(TU Darmstadt, Germany; Fraunhofer SIT, Germany)
@InProceedings{SOAP15p1,
author = {Steven Arzt and Siegfried Rasthofer and Robert Hahn and Eric Bodden},
title = {Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2015},
}
|
| |
Blackshear, Sam
|
SOAP '15: "Droidel: A General Approach ..."
Droidel: A General Approach to Android Framework Modeling
Sam Blackshear, Alexandra Gendreau, and Bor-Yuh Evan Chang
(University of Colorado at Boulder, USA)
@InProceedings{SOAP15p22,
author = {Sam Blackshear and Alexandra Gendreau and Bor-Yuh Evan Chang},
title = {Droidel: A General Approach to Android Framework Modeling},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {22-21},
doi = {},
year = {2015},
}
|
| |
Bodden, Eric |
SOAP '15: "Using Targeted Symbolic Execution ..."
Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis
Steven Arzt, Siegfried Rasthofer, Robert Hahn, and Eric Bodden
(TU Darmstadt, Germany; Fraunhofer SIT, Germany)
@InProceedings{SOAP15p1,
author = {Steven Arzt and Siegfried Rasthofer and Robert Hahn and Eric Bodden},
title = {Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2015},
}
|
| |
Chang, Bor-Yuh Evan
|
SOAP '15: "Droidel: A General Approach ..."
Droidel: A General Approach to Android Framework Modeling
Sam Blackshear, Alexandra Gendreau, and Bor-Yuh Evan Chang
(University of Colorado at Boulder, USA)
@InProceedings{SOAP15p22,
author = {Sam Blackshear and Alexandra Gendreau and Bor-Yuh Evan Chang},
title = {Droidel: A General Approach to Android Framework Modeling},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {22-21},
doi = {},
year = {2015},
}
|
| |
Cifuentes, Cristina |
SOAP '15: "Understanding Caller-Sensitive ..."
Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform
Cristina Cifuentes, Andrew Gross, and Nathan Keynes
(Oracle Labs, Australia; Oracle, USA; Oracle, Australia)
@InProceedings{SOAP15p8,
author = {Cristina Cifuentes and Andrew Gross and Nathan Keynes},
title = {Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {8-7},
doi = {},
year = {2015},
}
|
| |
Gendreau, Alexandra
|
SOAP '15: "Droidel: A General Approach ..."
Droidel: A General Approach to Android Framework Modeling
Sam Blackshear, Alexandra Gendreau, and Bor-Yuh Evan Chang
(University of Colorado at Boulder, USA)
@InProceedings{SOAP15p22,
author = {Sam Blackshear and Alexandra Gendreau and Bor-Yuh Evan Chang},
title = {Droidel: A General Approach to Android Framework Modeling},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {22-21},
doi = {},
year = {2015},
}
|
| |
Gross, Andrew |
SOAP '15: "Understanding Caller-Sensitive ..."
Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform
Cristina Cifuentes, Andrew Gross, and Nathan Keynes
(Oracle Labs, Australia; Oracle, USA; Oracle, Australia)
@InProceedings{SOAP15p8,
author = {Cristina Cifuentes and Andrew Gross and Nathan Keynes},
title = {Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {8-7},
doi = {},
year = {2015},
}
|
| |
Hahn, Robert
|
SOAP '15: "Using Targeted Symbolic Execution ..."
Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis
Steven Arzt, Siegfried Rasthofer, Robert Hahn, and Eric Bodden
(TU Darmstadt, Germany; Fraunhofer SIT, Germany)
@InProceedings{SOAP15p1,
author = {Steven Arzt and Siegfried Rasthofer and Robert Hahn and Eric Bodden},
title = {Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2015},
}
|
| |
Hermann, Ben |
SOAP '15: "Design Your Analysis: A Case ..."
Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions
Johannes Lerch and Ben Hermann
(TU Darmstadt, Germany)
@InProceedings{SOAP15p29,
author = {Johannes Lerch and Ben Hermann},
title = {Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {29-28},
doi = {},
year = {2015},
}
|
| |
Keynes, Nathan
|
SOAP '15: "Understanding Caller-Sensitive ..."
Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform
Cristina Cifuentes, Andrew Gross, and Nathan Keynes
(Oracle Labs, Australia; Oracle, USA; Oracle, Australia)
@InProceedings{SOAP15p8,
author = {Cristina Cifuentes and Andrew Gross and Nathan Keynes},
title = {Understanding Caller-Sensitive Method Vulnerabilities: A Class of Access Control Vulnerabilities in the Java Platform},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {8-7},
doi = {},
year = {2015},
}
|
| |
Krishnan, Padmanabhan |
SOAP '15: "Combining Type-Analysis with ..."
Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code
Nicholas Allen, Padmanabhan Krishnan, and Bernhard Scholz
(Oracle Labs, Australia)
@InProceedings{SOAP15p15,
author = {Nicholas Allen and Padmanabhan Krishnan and Bernhard Scholz},
title = {Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {15-14},
doi = {},
year = {2015},
}
|
| |
Lerch, Johannes
|
SOAP '15: "Design Your Analysis: A Case ..."
Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions
Johannes Lerch and Ben Hermann
(TU Darmstadt, Germany)
@InProceedings{SOAP15p29,
author = {Johannes Lerch and Ben Hermann},
title = {Design Your Analysis: A Case Study on Implementation Reusability of Data-Flow Functions},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {29-28},
doi = {},
year = {2015},
}
|
| |
Rasthofer, Siegfried
|
SOAP '15: "Using Targeted Symbolic Execution ..."
Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis
Steven Arzt, Siegfried Rasthofer, Robert Hahn, and Eric Bodden
(TU Darmstadt, Germany; Fraunhofer SIT, Germany)
@InProceedings{SOAP15p1,
author = {Steven Arzt and Siegfried Rasthofer and Robert Hahn and Eric Bodden},
title = {Using Targeted Symbolic Execution for Reducing False-Positives in Dataflow Analysis},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {1-0},
doi = {},
year = {2015},
}
|
| |
Scholz, Bernhard
|
SOAP '15: "Combining Type-Analysis with ..."
Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code
Nicholas Allen, Padmanabhan Krishnan, and Bernhard Scholz
(Oracle Labs, Australia)
@InProceedings{SOAP15p15,
author = {Nicholas Allen and Padmanabhan Krishnan and Bernhard Scholz},
title = {Combining Type-Analysis with Points-To Analysis for Analyzing Java Library Source-Code},
booktitle = {Proc.\ SOAP},
publisher = {ACM},
pages = {15-14},
doi = {},
year = {2015},
}
|
