SIGN IN
SIGN UP
Stack bounds analysis for microcontroller assembly code
Full Text:
Pdf
Buy this Article
Authors:
Jörg Brauer
RWTH Aachen University, Aachen, Germany
Bastian Schlich
RWTH Aachen University, Aachen, Germany
Thomas Reinbacher
University of Applied Sciences Technikum Wien, Vienna
Stefan Kowalewski
RWTH Aachen University, Aachen, Germany
2009 Article
Bibliometrics
· Downloads (6 Weeks): 0
· Downloads (12 Months): 14
· Downloads (cumulative): 128
· Citation Count: 1
Published in:
· Proceeding
WESS '09 Proceedings of the 4th Workshop on Embedded Systems Security
Article No. 5
ACM
New York, NY
, USA
©2009
table of contents
ISBN: 978-1-60558-700-4
doi>
10.1145/1631716.1631721
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
assembly code
embedded software
model checking
security
static analysis
verification
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder