Barrier Slicing for Remote Software Trusting

Authors:
Mariano Ceccato;Mila Dalla Preda;Jasvir Nagra;Christian Collberg;Paolo Tonella
Affiliations:
IRST, Italy;University of Trento, Italy;University of Trento, Italy;University of Arizona, USA;IRST, Italy
Venue:
SCAM '07 Proceedings of the Seventh IEEE International Working Conference on Source Code Analysis and Manipulation
Year:
2007

Citing 0
Cited 5

Remote Attestation on Legacy Operating Systems With Trusted Platform Modules

Electronic Notes in Theoretical Computer Science (ENTCS)
Remote attestation on legacy operating systems with trusted platform modules

Science of Computer Programming
Remote software protection by orthogonal client replacement

Proceedings of the 2009 ACM symposium on Applied Computing
Trading-off security and performance in barrier slicing for remote software entrusting

Automated Software Engineering
Security and scalability of remote entrusting protection

MMM-ACNS'10 Proceedings of the 5th international conference on Mathematical methods, models and architectures for computer network security

Quantified Score

Hi-index	0.00

Visualization

Abstract

Program slicing is a program-reduction technique for extracting statements that may influence other statements. While there exist efficient algorithms to slice sequential programs precisely, there are only two algorithms for precise slicing of concurrent ...