Sciweavers

Share
9 search results - page 1 / 2
» A Static Java Birthmark Based on Control Flow Edges
Sort
View
COMPSAC
2009
IEEE
10 years 6 months ago
A Static Java Birthmark Based on Control Flow Edges
—A software birthmark is an inherent characteristic of a program that can be used to identify that program. By comparing the birthmarks of two programs, it is possible to infer i...
Hyun-il Lim, Heewan Park, Seokwoo Choi, Taisook Ha...
OOPSLA
2015
Springer
4 years 7 months ago
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties
This paper describes a general framework—and its implementation in a tool called EXPLORER–for statically answering a class of interprocedural control flow queries about Java ...
Yu Feng, Xinyu Wang, Isil Dillig, Calvin Lin
CASSIS
2004
Springer
10 years 5 months ago
History-Based Access Control and Secure Information Flow
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
Anindya Banerjee, David A. Naumann
JIPS
2007
100views more  JIPS 2007»
9 years 11 months ago
Static Type Assignment for SSA Form in CTOC
: Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadv...
Ki-Tae Kim, Weon-Hee Yoo
CGO
2003
IEEE
10 years 3 months ago
Optimal and Efficient Speculation-Based Partial Redundancy Elimination
Existing profile-guided partial redundancy elimination (PRE) methods use speculation to enable the removal of partial redundancies along more frequently executed paths at the expe...
Qiong Cai, Jingling Xue
books