S
Samik Basu
Researcher at Iowa State University
Publications - 125
Citations - 2373
Samik Basu is an academic researcher from Iowa State University. The author has contributed to research in topics: Model checking & Web service. The author has an hindex of 25, co-authored 121 publications receiving 2286 citations. Previous affiliations of Samik Basu include Stony Brook University & State University of New York System.
Papers
More filters
Journal ArticleDOI
Model-carrying code: a practical approach for safe execution of untrusted applications
TL;DR: Unlike previous approaches, the MCC framework enables code producers and consumers to collaborate in order to achieve safety, and provides support for policy selection as well as enforcement.
Journal ArticleDOI
A taxonomy of intrusion response systems
TL;DR: This work presents a taxonomy of intrusion response systems, together with a review of current trends in intrusion response research, and provides a set of essential features as a requirement for an ideal intrusion response system.
Journal ArticleDOI
Deciding choreography realizability
TL;DR: The proposed realizability check is implemented and experiments show that it can efficiently determine therealizability of 1) web service choreographies, 2) Singularity OS channel contracts, and 3) UML collaboration (communication) diagrams.
Proceedings ArticleDOI
A Cost-Sensitive Model for Preemptive Intrusion Response Systems
TL;DR: A novel cost-sensitive model for intrusion response that incorporates preemptive deployment of the response actions and allows adaptation of responses to the changing environment through evaluation of success and failure of previously triggered responses is presented.
Proceedings ArticleDOI
Choreography conformance via synchronizability
Samik Basu,Tevfik Bultan +1 more
TL;DR: This paper presents techniques that identify if the interaction behavior for a set of services remain the same when asynchronous communication is replaced with synchronous communication, and can be used to identify synchronizable services for which choreography conformance can be checked efficiently.