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