| 1. |
-
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures (LNCS 2395)
- 2002
-
Editorial collection (peer-reviewed)abstract
- This book presents revised and extended versions of lectures given at an international summer school on applied semantics that took place in Caminha, Portugal in September. The nine lectures included present recent developments in programming language research in a coherent and systematic way. Among the topics addressed are - description of existing programming languages features - design of new programming languages features - implementation and analysis of programming languages - transformation and generation of programs - verification of programs.
|
|
| 2. |
|
|
| 3. |
- Barthe, Gilles, et al.
(author)
-
Secuirty of Multithreaded Programs by Compilation
- 2009
-
In: Special Issue of ACM Transactions on Information and System Security (TISSEC). - : Association for Computing Machinery (ACM). - 1094-9224 .- 1557-7406.
-
Journal article (peer-reviewed)abstract
- Information security is a pressing challenge for mobile code technologies. In order to claim end-to-end security of mobile code, it is necessary to establish that the code neither intentionally nor accidentally propagates sensitive information to an adversary. Although mobile code is commonly multithreaded low-level code, the literature is lacking enforcement mechanisms that ensure information security for such programs.This article offers a modular solution to the security ofmultithreaded programs. The modularity is three-fold:we give modular extensions of sequential semantics, sequential security typing, and sequential security-type preserving compilation that allow us enforcing security for multithreaded programs. Thanks to the modularity, there are no more restrictions on multithreaded source programs than on sequential ones, and yet we guarantee that their compilations are provably secure for a wide class of schedulers.
|
|
| 4. |
- Barthe, Gilles, et al.
(author)
-
Security of Multithreaded Programs by Compilation
- 2007
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - 1611-3349 .- 0302-9743. - 9783540748342 ; 4734, s. 2-18
-
Conference paper (peer-reviewed)
|
|
| 5. |
- Barthe, Gilles, et al.
(author)
-
SEFM: software engineering and formal methods
- 2015
-
In: Journal of Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1366 .- 1619-1374. ; 14:1, s. 3-4
-
Journal article (peer-reviewed)
|
|
| 6. |
|
|
