1336 search results - page 1 / 268 » SMTP Path Analysis |
116
Voted
CEAS
2005
Springer
15 years 9 months ago
2005
Springer
Most proponents of domain authentication suggest combining domain authentication with reputation services. This paper presents a new learning algorithm for learning the reputation...
97
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— A central problem in today’s Internet is unsolicited bulk email: spam. The SMTP protocol lacks a mechanism for verifying the source of a message, and respective protocol exte...
214
Voted
APLAS
2011
ACM
14 years 3 months ago
2011
ACM
We present a new SPAS (ScalablePAth-Sensitive)framework for resolving points-to sets in C programs that exploits recent advances in pointer analysis. SPAS enables intraprocedural p...
130
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
A multi-resolution path planning algorithm based on the wavelet transform of the environment has been reported previously in the literature. In this paper, we provide a proof of co...
119
Voted
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...