1599 search results - page 103 / 320 » Program Analysis for Security and Privacy |
111
Voted
WISA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The hash algorithm forms the basis of many popular cryptographic protocols and it is therefore important to find throughput optimal implementations. Though there have be...
122
Voted
ISI
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents an exploratory study of jihadi extremist groups' videos using content analysis and a multimedia coding tool to explore the types of videos, groups' mo...
128
click to vote
ACSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
In this paper, we present techniques for a network forensics analysis mechanism that includes effective evidence presentation, manipulation and automated reasoning. We propose the...
168
click to vote
CSFW
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
120
click to vote
MOC
2010
14 years 10 months ago
2010
Abstract. We introduce a new technique for the error analysis of hybridizable discontinuous Galerkin (HDG) methods. The technique relies on the use of a new projection whose design...