Abstract: Privacy protection systems must conform to legal requirements. These requirements must be identified and extracted from legal texts to become implementation requirements. This is a complex endeavor, in part because legal texts are based on implicit ontologies that should be well understood although in reality they are fuzzy and unstable. These ontologies can be drawn from all fields of knowledge, including science, ethics, as well as common sense; accordingly, they may be as hard to represent and implement as anything a software engineer can become involved with. The implementation of the law and of its underlying ontologies must be shown (and possibly certified) to be conformant with the requirements, by means such as formal verification or testing. This talk will discuss some of the research challenges that are met in this area, together with some possible solutions.
Bio: Luigi Logrippo received a "laurea" in law from the University of Rome “La Sapienza” in 1961, and in the same year he wrote his first computer program. After some years in the computer industry, in the late sixties and early seventies he went to the University of Manitoba, where he obtained a MSc in Computer Science, and then to the University of Waterloo where he obtained a PhD in the same discipline. After that he was professor of Computer Science at the University of Ottawa for almost thirty years. He is now professor of Computer Science at the Université du Québec en Outaouais. Formal techniques in software have been his constant interest. Notably, he worked for many years on the application and development of the algebraic formal language LOTOS in the areas of telecommunications protocols and telephony systems. Formal methods in security are his current research area.
Le séminaire sera donné en français.
