4731 search results - page 403 / 947 » Securing Interactive Programs |
187
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
161
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
214
click to vote
PADL
2012
Springer
14 years 2 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
230
click to vote
ACSAC
2007
IEEE
16 years 1 months ago
2007
IEEE
We present an extension of traditional "black box" fuzz testing using a genetic algorithm based upon a Dynamic Markov Model fitness heuristic. This heuristic allows us t...
209
click to vote
SP
2005
IEEE
16 years 13 days ago
2005
IEEE
A malware detector is a system that attempts to determine whether a program has malicious intent. In order to evade detection, malware writers (hackers) frequently use obfuscation...