1843 search results - page 93 / 369 » Securing Class Initialization |
117
Voted
CSFW
2009
IEEE
15 years 9 months ago
2009
IEEE
—Formal methods have proved their usefulness for analyzing the security of protocols. Most existing results focus on trace properties like secrecy (expressed as a reachability pr...
113
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
Over the last several years, the Computer Science (CS) community has put a great deal of effort in to the area of security research, and have made great advances. Counterintuitive...
66
Voted
DAGSTUHL
2006
15 years 4 months ago
2006
The problem of prediction future event given an individual sequence of past events is considered. Predictions are given in form of real numbers pn which are computed by some algori...
125
Voted
IJCV
2008
15 years 2 months ago
2008
We present an unsupervised approach for learning a generative layered representation of a scene from a video for motion segmentation. The learnt model is a composition of layers, ...
132
click to vote
ICALP
2007
Springer
15 years 4 months ago
2007
Springer
Adaptive security, while more realistic as an adversarial model, is typically much harder to achieve compared to static security in cryptographic protocol design. Universal composi...