Nataliia Bielova
Author's posts
Welcome to Francis Some, a new PhD student
A new PhD student, Francis Some, joined INDES on 1 November 2015 to work under the supervision of Tamara Rezk and Nataliia Bielova. Welcome, Francis!
New paper on behavioural types for security is published at JLAMP
Ilaria Castellani together with her co-authors has a new paper accepted to the Journal of Logical and Algebraic Methods in Programming (JLAMP): Combining behavioural types with security analysis. Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Jorge A. Pérez, Peter Thiemann, Bernardo Toninho, Hugo Torres Vieira.
We are organizing the Dynamic Languages Symposium (DLS’15)
The 11th Dynamic Languages Symposium (DLS) at SPLASH 2015 is the premier forum for researchers and practitioners to share knowledge and research on dynamic languages, their implementation, and applications. The influence of dynamic languages – from Lisp to Smalltalk to Python to Javascript – on real-world practice and research continues to grow. More details and …
2 papers on Hop and Hop.js in PPDP’15 and DBPL’15
Jthread, a deadlock-free mutex library Johan Grande, Gérard Boudol and Manuel Serrano have proposed a new library for Hop, that avoids and prevents deadlocks — the paper is published at the International Symposium on Principles and Practice of Declarative Programming (PPDP’15) Requesting heterogeneous data sources with array comprehensions in Hop.js Yoann Couillec and Manuel Serrano …
2 papers on JavaScript security to appear in TGC’15
Tamara Rezk together with her co-authors has two new papers to appear in Trustworthy Global Computing Symposium (TGC’15), both tackling different aspects of information flow security for JavaScript programs: Hybrid Typing Secure Information Flow in a JavaScript-like Language José Fragoso Santos, Thomas Jensen, Tamara Rezk and Alan Schmitt Modular Monitor Extensions for Information Flow Security …
Welcome to Colin Vidal, a new PhD student
A new PhD student, Colin Vidal, joined INDES on 1 July 2015 to work under the supervision of Manuel Serrano. Welcome, Colin!
New article in the Journal of Mathematical Structures in Computer Science
In their new article in the Journal of Mathematical Structures in Computer Science, Ilaria Castellani (INDES), Sara Capecchi and Mariangiola Dezani-Ciancaglini (University of Turin) propose a monitored semantics for a multiparty session calculus and show that it enforces a secure information flow property.
PhD positions and Internships at INDES
We have three PhD positions and five internships available for highly motivated students interested in web programming and security. For more information, see the job section : jobs.
The symposium on Trends in Functional Programming (TFP 2015), Sophia Antipolis (France), June 3-5 2015
The symposium on Trends in Functional Programming (TFP) is an international forum for researchers with interests in all aspects of functional programming, taking a broad view of current and future trends in the area. It aspires to be a lively environment for presenting the latest research results, and other contributions. Authors of draft papers will …
International Symposium on Engineering Secure Software and Systems (ESSoS 2015), Milan (Italy), March 4-6 2015
Call for participation Date: March 4 – 6, 2015 Venue: Milan, Italy Website: https://distrinet.cs.kuleuven.be/events/essos/2015/ Deadlines: January 25, 2015 (Early bird) In cooperation with: (pending) ACM SIGSAC and SIGSOFT and IEEE CS (TCSP). Context and motivation Trustworthy, secure software is a core ingredient of the modern world. So is the Internet. Hostile, networked environments, like the …
