Talks by visiting professors Thomas Jensen and John Reppy
The 19th of June there was a Double DIKU talk with visiting professors, Thomas Jensen og John Reppy at the Department of Computer Science, University of Copenhagen, where both of them talked about specific topic in their area of research.
After a short welcome by Fritz Henglein, head of the APL research section, Thomas Jensen, Directeur de recherche ved INRIA, initiated the talk by reviewing the analysis techniques for detecting illicit flow of information in web applications and presented a novel approach to hybrid information flow monitoring that mixes static and dynamic analysis. Finally he discussed techniques for enforcing information flow policies based on browser randomization.
Afterwards John Reppy, Professor of Computer Science and a Senior Fellow of the Computation Institute at the University of Chicago, talked about Diderot, a domain-specific language (DSL) for programming advanced 3D image visualization and analysis algorithms. He gave an overview of the design of Diderot and examples of its use and also described aspects of its implementation.
After the talk there was a small reception.