https://malturki.github.io/posts/2019/06/algorand-safety/ 2019-06-18T00:00:00-05:00 https://malturki.github.io/posts/2019/10/fmbc-talks/ 2019-10-11T00:00:00-05:00 https://malturki.github.io/posts/2019/10/k-beacon-chains/ 2019-10-22T00:00:00-05:00 https://malturki.github.io/posts/2019/12/k-vs-coq/ 2019-12-12T00:00:00-06:00 https://malturki.github.io/posts/2020/07/gasper-coq/ 2020-07-15T00:00:00-05:00 https://malturki.github.io/posts/2020/07/algorand-sc-partnership 2020-07-28T00:00:00-05:00 https://malturki.github.io/posts/2020/10/k-kakoune/ 2020-10-15T00:00:00-05:00 https://malturki.github.io/posts/2021/09/tinyman-audit 2021-09-21T00:00:00-05:00 https://malturki.github.io/posts/2021/10/tealer-teal5 2021-10-24T00:00:00-05:00 https://malturki.github.io/posts/2021/11/decipher2021 2021-11-30T00:00:00-06:00 https://malturki.github.io/projects/project-2018-11-distance-fraud/ https://malturki.github.io/projects/project-2018-12-resource-intruders/ https://malturki.github.io/projects/project-2019-01-randao/ https://malturki.github.io/projects/project-2019-06-algorand-safety/ https://malturki.github.io/projects/project-2019-12-beacon-chain-k-concrete/ https://malturki.github.io/projects/project-2020-06-gasper-coq/ https://malturki.github.io/projects/project-2021-10-algorand-sc-semantics/ https://malturki.github.io/publication/2007-07-14-alturki-meseguer-ppdp 2007-07-14T00:00:00-05:00 https://malturki.github.io/publication/2008-01-01-alturki-meseguer-wwv 2008-01-01T00:00:00-06:00 https://malturki.github.io/publication/2009-03-01-bobba-etal-asiaccs 2009-03-01T00:00:00-06:00 https://malturki.github.io/publication/2009-03-28-alturki-etal-secret 2009-03-28T00:00:00-05:00 https://malturki.github.io/publication/2009-04-01-alturki-etal-fase 2009-04-01T00:00:00-05:00 https://malturki.github.io/publication/2009-05-01-shankesi-etal-esorics 2009-05-01T00:00:00-05:00 https://malturki.github.io/publication/2010-09-22-alturki-meseguer-rtrts 2010-09-22T00:00:00-05:00 https://malturki.github.io/publication/2011-08-01-alturki-meseguer-calco 2011-08-01T00:00:00-05:00 https://malturki.github.io/publication/2012-04-01-eckhardt-etal-fase 2012-04-01T00:00:00-05:00 https://malturki.github.io/publication/2014-04-01-laradji-etal-icann 2014-04-01T00:00:00-05:00 https://malturki.github.io/publication/2015-04-01-alturki-alzuhaibi-fm 2015-04-01T00:00:00-05:00 https://malturki.github.io/publication/2015-07-01-alturki-meseguer-jlamp 2015-07-01T00:00:00-05:00 https://malturki.github.io/publication/2015-11-15-ghaleb-etal-icsea 2015-11-15T00:00:00-06:00 https://malturki.github.io/publication/2017-11-13-alturki-iri 2017-11-13T00:00:00-06:00 https://malturki.github.io/publication/2018-01-15-alturki-etal-cps-spc 2018-01-15T00:00:00-06:00 https://malturki.github.io/publication/2018-07-25-ghaleb-etal-jsep 2018-07-25T00:00:00-05:00 https://malturki.github.io/publication/2019-04-28-alturki-etal-fsper 2019-04-28T00:00:00-05:00 https://malturki.github.io/publication/2019-09-05-urquiza-etal-csf 2019-09-05T00:00:00-05:00 https://malturki.github.io/publication/2019-10-11-alturki-etal-fmbc 2020-08-01T00:00:00-05:00 https://malturki.github.io/publication/2020-08-01-alturki-rosu-fmbc 2020-08-01T00:00:00-05:00 https://malturki.github.io/publication/2020-10-01-ghaleb-etal-vissoft 2020-10-01T00:00:00-05:00 https://malturki.github.io/publication/2021-02-01-alturki-etal-icissp21 2021-02-01T00:00:00-06:00 https://malturki.github.io/publication/2021-05-01-alturki-etal-jcs 2021-05-01T00:00:00-05:00 https://malturki.github.io/publication/2021-10-01-ghaleb-etal-ijseke 2021-10-01T00:00:00-05:00 https://malturki.github.io/talks/2011-09-02-calco/ 2011-09-02T00:00:00-05:00 https://malturki.github.io/talks/2011-10-12-cmu-qatar/ 2011-10-12T00:00:00-05:00 https://malturki.github.io/talks/2015-06-24-fm/ 2015-06-24T00:00:00-05:00 https://malturki.github.io/talks/2016-06-27-upenn/ 2016-06-27T00:00:00-05:00 https://malturki.github.io/talks/2017-12-12-pex/ 2017-12-12T00:00:00-06:00 https://malturki.github.io/talks/2018-07-09-fcs/ 2018-07-09T00:00:00-05:00 https://malturki.github.io/talks/2018-10-15-ccs/ 2018-10-15T00:00:00-05:00 https://malturki.github.io/talks/2019-06-25-csf/ 2019-06-25T00:00:00-05:00 https://malturki.github.io/talks/2019-10-11-fmbc-1/ 2019-10-11T00:00:00-05:00 https://malturki.github.io/talks/2019-10-11-fmbc-2/ 2019-10-11T00:00:00-05:00 https://malturki.github.io/talks/2021-02-01-icissp21/ 2021-02-01T00:00:00-06:00 https://malturki.github.io/talks/2021-11-30-decipher21/ 2021-11-30T00:00:00-06:00 https://malturki.github.io/teaching/teaching-ic 2002-07-01T00:00:00-05:00 https://malturki.github.io/teaching/teaching-ic 2011-07-01T00:00:00-05:00 https://malturki.github.io/teaching/teaching-fmmse 2011-08-01T00:00:00-05:00 https://malturki.github.io/teaching/teaching-toc 2012-02-01T00:00:00-06:00 https://malturki.github.io/teaching/teaching-ppl 2012-08-01T00:00:00-05:00 https://malturki.github.io/teaching/teaching-gpl 2014-08-01T00:00:00-05:00 https://malturki.github.io/ https://malturki.github.io/archive-layout-with-content/ https://malturki.github.io/categories/ https://malturki.github.io/collection-archive/ https://malturki.github.io/cv/ https://malturki.github.io/markdown/ https://malturki.github.io/non-menu-page/ https://malturki.github.io/page-archive/ https://malturki.github.io/projects/ https://malturki.github.io/publications/ https://malturki.github.io/sitemap/ https://malturki.github.io/tags/ https://malturki.github.io/talkmap.html https://malturki.github.io/talks/ https://malturki.github.io/teaching/ https://malturki.github.io/terms/ https://malturki.github.io/year-archive/ https://malturki.github.io/markdown_generator/ https://malturki.github.io/files/cv-alturki.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-alzuhaibi-fm.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-etal-cps-spc.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-etal-fase.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-etal-fmbc.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-etal-fsper.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-etal-icissp21.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-etal-jcs21.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-etal-secret.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-iri.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-meseguer-calco.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-meseguer-jlamp.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-meseguer-ppdp.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-meseguer-rtrts.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-meseguer-wwv.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/alturki-rosu-fmbc.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/bobba-etal-asiaccs.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/eckhardt-etal-fase.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/ghaleb-etal-icsea.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/ghaleb-etal-ijseke.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/ghaleb-etal-jsep.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/ghaleb-etal-uspo.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/ghaleb-etal-vissoft.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/laradji-etal-icann.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/shankesi-etal-esorics.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/files/pub/urquiza-etal-csf.pdf 2021-12-24T14:27:25-06:00 https://malturki.github.io/talkmap/map.html 2021-12-24T14:27:25-06:00