8828 search results - page 1577 / 1766 » Formal methods in practice |
159
click to vote
IACR
2011
14 years 4 months ago
2011
At PKC 2010 Smart and Vercauteren presented a variant of Gentry’s fully homomorphic public key encryption scheme and mentioned that the scheme could support SIMD style operations...
125
click to vote
IACR
2011
14 years 4 months ago
2011
A theme of recent side-channel research has been the quest for distinguishers which remain eective even when few assumptions can be made about the underlying distribution of the m...
152
click to vote
COMSNETS
2012
14 years 5 days ago
2012
—Patterns of human encounters, which are difficult to observe directly, are fundamental to the propagation of mobile malware aimed at infecting devices in spatial proximity. We ...
133
click to vote
HICSS
2012
IEEE
14 years 3 days ago
2012
IEEE
The success of open government initiatives depends on understanding the informational needs of the concerned citizens and other stakeholders as prerequisite for open access to rel...
476
click to vote
ICA
2012
Springer
14 years 16 hour ago
2012
Springer
Independent component analysis (ICA) is possibly the most widespread approach to solve the blind source separation (BSS) problem. Many different algorithms have been proposed, tog...