890 search results - page 35 / 178 » Programming language methods in computer security |
107
Voted
IFL
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
103
Voted
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
We explore the extent to which newly available CPU-based security technology can reduce the Trusted Computing Base (TCB) for security-sensitive applications. We find that although...
89
Voted
SIAMSC
2008
15 years 13 days ago
2008
A compiler approach for generating low-level computer code from high-level input for discontinuous Galerkin finite element forms is presented. The input language mirrors convention...
95
Voted
IIWAS
2007
15 years 2 months ago
2007
By using database security metrics to evaluate how risky the current database environment is and visually displaying the metric results on graphs, database security visualization ...
126
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Synchronous languages offer a deterministic model of concurrency at the level of actions. However, essentially all compilers for synchronous languages compile these actions into...