Prof. Sylvain Hallé and Raphaël Khoury, members of LIF, won the Best Paper Award at the 20th International IEEE EDOC Conference, held in Vienna last September. Their paper, titled Decentralized Enforcement of Artifact Lifecycles, was co-authored with Yliès Falcone and Antoine El-Hokayem from Université Grenoble-Alpes in France.
…
Detecting Malware through Execution Trace Monitoring
Laboratoire d’Informatique Formelle
Université du Québec à Chicoutimi
Chicoutimi, Québec, Canada
The Formal Computer Science Laboratory (https://liflab.ca) is seeking high-quality applications for a fully-funded PhD position in Malware Detection. Candidates should be highly self-motivated,
…
Kun Xie, an M.Sc. student under the supervision of Pr. Sylvain Hallé, has just submitted the final version of his Master’s thesis. Among other things, Kun’s project involved the development and testing of a system allowing to send streams of data between computers through sequences of optical codes called QR codes.
…
Recent Comments