519 search results - page 29 / 104 » How to make secure email easier to use |
PLDI
2010
ACM
15 years 7 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
ASYNC
2005
IEEE
15 years 3 months ago
2005
IEEE
Unprotected cryptographic hardware is vulnerable to a side-channel attack known as Differential Power Analysis (DPA). This attack exploits data-dependent power consumption of a co...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
Refactoring aims to improve the quality of a software systems’ structure, which tends to degrade as the system evolves. While manually determining useful refactorings can be cha...
DIGITALCITIES
1998
Springer
15 years 1 months ago
1998
Springer
We have developed a system, called Silhouettell, that provides awareness support for real-world encounters. Silhouettell uses a large graphics screen. People's locations (who ...
112
click to vote
POPL
2000
ACM
15 years 2 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...