Odjel za računarstvo

Područje rada odjela za računarstvo obuhvaća sve vidove teorije, oblikovanja, prakse i primjene metoda i sustava vezanih uz računarstvo i obradu informacija. Djelovanje odjela usmjereno je na znanstvenu, stručnu, obrazovnu i društvenu komponentu. Kroz razmjenu tehničkih informacija i znanstvenih spoznaja, odjel teži unaprjeđenju struke i održavanju visoko profesionalnog položaja među članovima. S druge strane, kroz organizaciju znanstvenih i stručnih predavanja i rasprava te izdavanje tehničkih časopisa, promiče se višedisciplinarna suradnja s drugim strukama i otvorenom društvenom zajednicom.
Vodstvo odjela
Mandat do 31. 12. 2024.

Lucija Petricioli
predsjednica

Hana Ivandić
dopredsjednica

Predavanje: Information Flow Security...

Odjel za računarstvo Hrvatske sekcije IEEE poziva Vas na predavanje

Information Flow Security in Practical Systems

koje će održati Limin Jia sa Sveučilišta Carnegie Mellon u srijedu 21. lipnja 2017. u 11.30 sati u Sivoj vijećnici Fakulteta elektrotehnike i računarstva Sveučilišta u Zagrebu, Unska 3.

Predavanje je na engleskom jeziku, predviđeno trajanje s raspravom je 60 minuta, otvoreno je za sve zainteresirane te se posebno pozivaju studenti.

Više o predavanju i predavačici pročitajte u opširnijem  sadržaju obavijesti.

Sažetak predavanja

Users routinely type sensitive data such as passwords, credit card numbers, and even SSN into their mobile phone apps and browsers. Rich functionality combined with weak security mechanisms makes protecting users’ data a challenging. In this talk, few case studies of applying information flow security to protecting users’ data in Android, the Chromium browser, and the IFTTT framework will be presented. For these systems, it is shown that dynamic coarse-grained taint tracking, even though it allows implicit flows, can be retrofitted into existing systems to defend users’ data from common attacks. The challenges in striking a balance between preserving key functionality of legacy systems and ensuring formally provable security guarantees will be explained and how different modeling techniques affect noninterference proofs will be discussed.

 

O predavačici

Dr. Jia is an Assistant Research Professor in the ECE Department at Carnegie Mellon University. Dr. Jia received her PhD in Computer Science from Princeton University. She received her BE in Computer Science and Engineering from the University of Science and Technology in China. Dr. Jia's research interests are in formal aspects of software security, in particular, applying formal approaches to constructing software systems with known security guarantees.

Autor: Danko Ivošević
Popis obavijesti

Forum

>> / Sve diskusijske grupe / Kurikulum za srednje tehničke škole

Br. poruka:    Prikaz: (1 - 200)  Ukupno: 200

Sortiraj prema: naslovu | vremenu zadnjeg odgovora | autoru

Napomena:
* - oznaka za nove poruke