890 search results - page 25 / 178 » Programming language methods in computer security |
123
Voted
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
95
Voted
FLAIRS
2006
15 years 1 months ago
2006
The invited talk will introduce Computer-Aided Language Processing (CALP) as an emerging area of practical interest and significance and will present experiments of several CALP a...
105
Voted
ICALP
2005
Springer
15 years 6 months ago
2005
Springer
Motivated by the study of algorithmic problems in the domain of information security, in this paper, we study the complexity of a new class of computations over a collection of va...
122
Voted
APLAS
2011
ACM
14 years 17 days ago
2011
ACM
Abstract. Decentralization is a major challenge for secure computing. In a decentralized setting, principals are free to distrust each other. The key challenge is to provide suppor...
217
Voted
Book
"The book is the textbook for the programming languages course at Brown University, which is taken primarily by third and fourth year undergraduates and beginning graduate (bo...