3008 search results - page 463 / 602 » Information and Control in Gray-Box Systems |
193
click to vote
ICISS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Code injection attacks that target the control-data of an application have been prevalent amongst exploit writers for over 20 years. Today however, these attacks are gett...
340
click to vote
ICUIMC
2011
ACM
14 years 10 months ago
2011
ACM
Physical layer capture in WLANs makes a receiver to decode a relatively strong packet in a collision. According to recent works, an augmented physical layer capture handles interf...
161
click to vote
TEI
2012
ACM
14 years 2 months ago
2012
ACM
Recent technological advances in input sensing, as well as ultra-small projectors, have opened up new opportunities for interaction – the use of the body itself as both an input...
192
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
We present the first machine-checked correctness proof for information flow control (IFC) based on program dependence graphs (PDGs). IFC based on slicing and PDGs is flow-sensi...
175
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
High assurance systems such as those found in aircraft controls and the financial industry are often required to handle a mix of tasks where some are niceties (such as the contro...