CINXE.COM
SySMA
<!DOCTYPE html><html lang="en-US" itemscope itemtype="http://schema.org/WebPage"><head><meta charset="utf-8"><script nonce="fRCFcSyp6C9tAJReM-yQBA">var DOCS_timing={}; DOCS_timing['sl']=new Date().getTime();</script><script nonce="fRCFcSyp6C9tAJReM-yQBA">function _DumpException(e) {throw e;}</script><script data-id="_gd" nonce="fRCFcSyp6C9tAJReM-yQBA">window.WIZ_global_data = {"K1cgmc":"%.@.[null,null,null,[null,1,[1732692946,595447000]]]]","nQyAE":{}};</script><script nonce="fRCFcSyp6C9tAJReM-yQBA">_docs_flag_initialData={"atari-emtpr":false,"atari-eibrm":false,"docs-text-elei":false,"docs-text-usc":true,"atari-bae":false,"docs-text-emtps":true,"docs-text-etsrdpn":false,"docs-text-etsrds":false,"docs-text-endes":false,"docs-text-escpv":true,"docs-text-ecfs":false,"docs-text-ecis":true,"docs-text-eectfs":true,"docs-text-edctzs":true,"docs-text-eetxpc":false,"docs-text-eetxp":false,"docs-text-ertkmcp":true,"docs-text-ettctvs":false,"docs-text-ettts":true,"docs-text-escoubs":false,"docs-text-escivs":false,"docs-text-escitrbs":false,"docs-text-ecgvd":false,"docs-text-esbbcts":true,"docs-text-etccdts":false,"docs-text-etcchrs":false,"docs-text-etctrs":false,"docs-text-eltbbs":true,"docs-text-ecvdis":false,"docs-text-elaiabbs":false,"docs-text-eiosmc":false,"docs-text-ecslpo":false,"docs-text-etb":false,"docs-text-esbefr":false,"docs-text-ipi":false,"docs-etshc":false,"docs-text-tbcb":2.0E7,"docs-efsmsdl":false,"docs-text-etof":false,"docs-text-ehlb":false,"docs-text-epa":true,"docs-text-dwit":false,"docs-text-elawp":false,"docs-eec":false,"docs-ecot":"","docs-text-enbcr":false,"docs-sup":"","umss":false,"docs-eldi":false,"docs-dli":false,"docs-liap":"/logImpressions","ilcm":{"eui":"AHKXmL3qSBNEdoPW1Ko1yjHo_l248zMKCqdT8BXpcrxlQRuBQb_DvMh-LP02djVrMHEjHjJyAg9L","je":1,"sstu":1732698896683348,"si":"CNWi9bGW_IkDFfCvIwAdvNcD1g","gsc":null,"ei":[5703839,5704621,5706832,5706836,5707711,5737784,5737800,5738513,5738529,5740798,5740814,5743108,5743124,5747261,5748013,5748029,5752678,5752694,5753313,5753329,5754213,5754229,5755080,5755096,5758807,5758823,5762243,5762259,5764252,5764268,5765535,5765551,5766761,5766777,5773662,5773678,5774331,5774347,5774836,5774852,5776501,5776517,5784931,5784947,5784951,5784967,5791766,5791782,5796457,5796473,14101306,14101502,14101510,14101534,49372435,49372443,49375314,49375322,49472063,49472071,49622823,49622831,49623173,49623181,49643568,49643576,49644015,49644023,49769337,49769345,49822921,49822929,49823164,49823172,49833462,49833470,49842855,49842863,49924706,49924714,50221720,50221728,50266222,50266230,50273528,50273536,50297076,50297084,50297426,50297434,50498907,50498915,50529103,50529111,50561333,50561341,50586962,50586970,70971256,70971264,71035517,71035525,71038255,71038263,71079938,71079946,71085241,71085249,71185170,71185178,71197826,71197834,71238946,71238954,71289146,71289154,71387889,71387897,71429507,71429515,71478200,71478208,71478589,71478597,71502841,71502849,71528597,71528605,71530083,71530091,71544834,71544842,71545513,71545521,71546425,71546433,71560069,71560077,71561541,71561549,71573870,71573878,71642103,71642111,71652840,71652848,71658040,71658048,71659813,71659821,71689860,71689868,71699841,71699849,71720760,71721087,71721095,71733083,71733091,71798420,71798436,71798440,71798456,71849655,71849663,71882106,71882114,71897827,71897835,71960540,71960548,71961126,71961134,94327671,94327679,94333153,94333161,94353368,94353376,94390153,94390161,94413607,94413615,94420737,94420745,94434257,94434265,94435578,94435586,94444292,94444300,94484634,94484642,94489858,94489866,94502654,94502662,94526768,94526776,94545004,94545012,94597639,94597647,94630911,94661802,94661810,94707424,94707432,94784571,94784579,94875009,94875017,94904089,94904097,94929210,94929218,94942490,94942498,95065889,95065897,95086181,95086189,95087186,95087194,95111975,95111983,95112873,95112881,95118551,95118559,95135933,95135941,95234185,95234871,95234879,95251262,95251270,95254920,95254928,95270945,95270953,95314802,95314810,95317985,99237681,99237689,99247596,99247604,99310979,99310987,99338440,99338448,99368792,99368800,99401881,99401889,99402331,99402339,99437441,99437449,99460069,100130662,100130678,101406734,101406742,101442805,101442813,101456452,101456460,101488823,101488831,101489187,101489195,101507186,101507194,101519280,101519288,101606928,101606936,101617516,101617524,101631040,101631048,101705089,101708583,101708591,101771970,101771978,101776366,101776374,101783430,101783446,101875084,101875092,102047752,102047760],"crc":0,"cvi":[]},"docs-ccdil":false,"docs-eil":true,"info_params":{},"buildLabel":"editors.sites-viewer-frontend_20241112.02_p1","docs-show_debug_info":false,"atari-jefp":"/_/view/jserror","docs-jern":"view","atari-rhpp":"/_/view","docs-ecuach":false,"docs-cclt":2033,"docs-ecci":true,"docs-esi":false,"docs-efypr":true,"docs-eyprp":true}; _docs_flag_cek= null ; if (window['DOCS_timing']) {DOCS_timing['ifdld']=new Date().getTime();}</script><meta name="viewport" content="width=device-width, initial-scale=1"><meta http-equiv="X-UA-Compatible" content="IE=edge"><meta name="referrer" content="origin"><link rel="icon" href="https://lh6.googleusercontent.com/pHrxmyLrvR8d-Z-NUPao8C7idTnTcwWdGhL5_f64DtMH99wyJ-4EJrJLjASAhwVXFqRDMG5jVyJmeLWBgqHcrmaQcgcFGq2Ld6vfGxZ0TEkSwpRp"><meta property="og:title" content="SySMA"><meta property="og:type" content="website"><meta property="og:url" content="https://sysma.imtlucca.it/"><meta property="og:description" content=" Systems Security, Modeling and Analysis SySMA "><meta itemprop="name" content="SySMA"><meta itemprop="description" content=" Systems Security, Modeling and Analysis SySMA "><meta itemprop="url" content="https://sysma.imtlucca.it/"><meta itemprop="thumbnailUrl" content="https://lh6.googleusercontent.com/3jWDM2SlEi4_TyTdB0hyOz1cHBnmLrJ-DJ1BF30uWawpHfa515IWFVYosPagGIdzqLQQEB53Hu_OKcWCjgIqA_8=w16383"><meta itemprop="image" content="https://lh6.googleusercontent.com/3jWDM2SlEi4_TyTdB0hyOz1cHBnmLrJ-DJ1BF30uWawpHfa515IWFVYosPagGIdzqLQQEB53Hu_OKcWCjgIqA_8=w16383"><meta itemprop="imageUrl" content="https://lh6.googleusercontent.com/3jWDM2SlEi4_TyTdB0hyOz1cHBnmLrJ-DJ1BF30uWawpHfa515IWFVYosPagGIdzqLQQEB53Hu_OKcWCjgIqA_8=w16383"><meta property="og:image" content="https://lh6.googleusercontent.com/3jWDM2SlEi4_TyTdB0hyOz1cHBnmLrJ-DJ1BF30uWawpHfa515IWFVYosPagGIdzqLQQEB53Hu_OKcWCjgIqA_8=w16383"><link href="https://fonts.googleapis.com/css?family=Google+Sans:400,500|Roboto:300,400,500,700|Source+Code+Pro:400,700&display=swap" rel="stylesheet" nonce="vLh4980RN5vBdrXWeOLkxw"><link href="https://fonts.googleapis.com/css?family=Inter%3Ai%2Cbi%2C700%2C900%2C500%2C400&display=swap" rel="stylesheet" nonce="vLh4980RN5vBdrXWeOLkxw"><link href="https://fonts.googleapis.com/css?family=Montserrat%3Ai%2Cbi%2C700%2C400&display=swap" rel="stylesheet" nonce="vLh4980RN5vBdrXWeOLkxw"><style nonce="vLh4980RN5vBdrXWeOLkxw">@media only screen and (max-width: 479px){.CGqCRe{font-size: 27.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.CGqCRe{font-size: 32.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.CGqCRe{font-size: 36.0pt;}}@media only screen and (min-width: 1280px){.CGqCRe{font-size: 36.0pt;}}@media only screen and (max-width: 479px){.yAbvcd{font-size: 22.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.yAbvcd{font-size: 25.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.yAbvcd{font-size: 28.0pt;}}@media only screen and (min-width: 1280px){.yAbvcd{font-size: 28.0pt;}}@media only screen and (max-width: 479px){.pGGe1e{font-size: 22.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.pGGe1e{font-size: 25.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.pGGe1e{font-size: 27.0pt;}}@media only screen and (min-width: 1280px){.pGGe1e{font-size: 27.0pt;}}</style><link rel="stylesheet" href="https://www.gstatic.com/_/atari/_/ss/k=atari.vw.7R57rYYVGiA.L.X.O/am=MBiA/d=1/rs=AGEqA5nH97dOwqY0iGblvGlWiaR59owncA" data-id="_cl" nonce="vLh4980RN5vBdrXWeOLkxw"><script nonce="fRCFcSyp6C9tAJReM-yQBA"></script><title>SySMA</title><style jsname="ptDGoc" nonce="vLh4980RN5vBdrXWeOLkxw">.htnAL{height: 27.0pt; font-size: 12.0pt; font-family: Inter; font-weight: 400; font-style: normal;}.QmpIrf{background-color: rgba(21,44,71,1); color: rgba(249,249,249,1); border-color: rgba(21,44,71,1);}.xkUom{background-color: rgba(0,0,0,0); color: rgba(21,44,71,1); border-color: rgba(21,44,71,1);}.KjwKmc{background-color: rgba(0,0,0,0); color: rgba(21,44,71,1); border-color: rgba(0,0,0,0);}.qeLZfd .QmpIrf{background-color: rgba(21,44,71,1); color: rgba(249,249,249,1); border-color: rgba(21,44,71,1);}.qeLZfd .xkUom{background-color: rgba(0,0,0,0); color: rgba(21,44,71,1); border-color: rgba(21,44,71,1);}.qeLZfd .KjwKmc{background-color: rgba(0,0,0,0); color: rgba(21,44,71,1); border-color: rgba(0,0,0,0);}.lQAHbd .QmpIrf{background-color: rgba(255,255,255,1); color: rgba(21,44,71,1); border-color: rgba(21,44,71,1);}.lQAHbd .xkUom{background-color: rgba(0,0,0,0); color: rgba(249,249,249,1); border-color: rgba(249,249,249,1);}.lQAHbd .KjwKmc{background-color: rgba(0,0,0,0); color: rgba(249,249,249,1); border-color: rgba(0,0,0,0);}.tpmmCb .QmpIrf{background-color: rgba(21,44,71,1); color: rgba(249,249,249,1); border-color: rgba(21,44,71,1);}.tpmmCb .xkUom{background-color: rgba(0,0,0,0); color: rgba(21,44,71,1); border-color: rgba(21,44,71,1);}.tpmmCb .KjwKmc{background-color: rgba(0,0,0,0); color: rgba(21,44,71,1); border-color: rgba(0,0,0,0);}.nyKByd .QmpIrf{background-color: rgba(255,255,255,1); color: rgba(21,44,71,1); border-color: rgba(21,44,71,1);}.nyKByd .xkUom{background-color: rgba(0,0,0,0); color: rgba(249,249,249,1); border-color: rgba(249,249,249,1);}.nyKByd .KjwKmc{background-color: rgba(0,0,0,0); color: rgba(249,249,249,1); border-color: rgba(0,0,0,0);}.iwQgFb{background-color: rgba(0,0,0,0.150000006); height: 2.0px; margin-top: 8.5px;}.qeLZfd .iwQgFb{background-color: rgba(0,0,0,0.150000006); height: 2.0px; margin-top: 8.5px;}.lQAHbd .iwQgFb{background-color: rgba(255,255,255,1); height: 2.0px; margin-top: 8.5px;}.CbiMKe{background-color: rgba(21,44,71,1);}.qeLZfd .CbiMKe{background-color: rgba(21,44,71,1);}.lQAHbd .CbiMKe{background-color: rgba(249,249,249,1);}.tpmmCb .CbiMKe{background-color: rgba(21,44,71,1);}.nyKByd .CbiMKe{background-color: rgba(21,44,71,1);}.PsKE7e{font-family: Inter;}.TlfmSc{font-family: Inter;}.Zjiec{font-family: Inter;}@media only screen and (max-width: 479px){.TlfmSc{font-size: 13.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.TlfmSc{font-size: 14.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.TlfmSc{font-size: 15.0pt;}}@media only screen and (min-width: 1280px){.TlfmSc{font-size: 15.0pt;}}@media only screen and (max-width: 479px){.Zjiec{font-size: 16.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.Zjiec{font-size: 18.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.Zjiec{font-size: 20.0pt;}}@media only screen and (min-width: 1280px){.Zjiec{font-size: 20.0pt;}}@media only screen and (max-width: 479px){.PsKE7e{font-size: 12.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.PsKE7e{font-size: 12.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.PsKE7e{font-size: 12.0pt;}}@media only screen and (min-width: 1280px){.PsKE7e{font-size: 12.0pt;}}.IKA38e{margin-top: 16.0px;}.eWDljc{padding-top: 0; padding-bottom: 16.0px;}.Zjiec{margin: 48px 32px 62px 48px;}.XMyrgf{margin: 48px 32px 0 48px;}.JzO0Vc{background-color: rgba(255,255,255,1);}.zDUgLc{background-color: rgba(255,255,255,1);}.eWDljc{background-color: rgba(255,255,255,1);}.wgxiMe{background-color: rgba(255,255,255,1);}.YSH9J{color: rgba(28,28,28,1);}.iWs3gf.chg4Jd:focus{background-color: rgba(28,28,28,0.1199999973);}.oNsfjf{color: rgba(28,28,28,1);}.YSH9J:not(.tCHXDc):not(.TlfmSc):not(.M9vuGd):hover{color: rgba(28,28,28,0.8199999928);}.oNsfjf:not(.tCHXDc):not(.Zjiec):not(.lhZOrc):hover{color: rgba(28,28,28,0.8199999928);}.GBy4H .YSH9J{color: rgba(249,249,249,1);}.GBy4H .iWs3gf.chg4Jd:focus{background-color: rgba(249,249,249,0.1199999973);}.GBy4H .PsKE7e.YSH9J:not(.M9vuGd):hover{color: rgba(249,249,249,0.8199999928);}.LBrwzc .YSH9J{color: rgba(28,28,28,1);}.LBrwzc .iWs3gf.chg4Jd:focus{background-color: rgba(28,28,28,0.1199999973);}.LBrwzc .PsKE7e.YSH9J:not(.M9vuGd):hover{color: rgba(28,28,28,0.8199999928);}.GBy4H .oNsfjf{color: rgba(249,249,249,1);}.GBy4H .PsKE7e.oNsfjf:not(.lhZOrc):hover{color: rgba(249,249,249,0.8199999928);}.LBrwzc .oNsfjf{color: rgba(28,28,28,1);}.LBrwzc .PsKE7e.oNsfjf:not(.lhZOrc):hover{color: rgba(28,28,28,0.8199999928);}.M9vuGd{font-weight: bold;}.lhZOrc{font-weight: bold;}.LB7kq{padding-bottom: 56px; padding-top: 112px;}.qnVSj{color: rgba(21,44,71,1);}.zfr3Q{color: rgba(21,44,71,1);}.qeLZfd .qnVSj{color: rgba(21,44,71,1);}.qeLZfd .zfr3Q{color: rgba(21,44,71,1);}.lQAHbd .qnVSj{color: rgba(21,44,71,1);}.lQAHbd .zfr3Q{color: rgba(21,44,71,1);}.tpmmCb .qnVSj{color: rgba(28,28,28,1);}.tpmmCb .zfr3Q{color: rgba(28,28,28,1);}.nyKByd .qnVSj{color: rgba(249,249,249,1);}.nyKByd .zfr3Q{color: rgba(249,249,249,1);}.qLrapd{color: rgba(21,44,71,1);}.duRjpb{color: rgba(21,44,71,1);}.duRjpb .OUGEr{color: rgba(21,44,71,1);}.qeLZfd .qLrapd{color: rgba(255,255,255,1);}.qeLZfd .duRjpb{color: rgba(255,255,255,1);}.qeLZfd .duRjpb .OUGEr{color: rgba(255,255,255,1);}.lQAHbd .qLrapd{color: rgba(249,249,249,1);}.lQAHbd .duRjpb{color: rgba(249,249,249,1);}.lQAHbd .duRjpb .OUGEr{color: rgba(249,249,249,1);}.tpmmCb .qLrapd{color: rgba(28,28,28,1);}.tpmmCb .duRjpb{color: rgba(28,28,28,1);}.tpmmCb .duRjpb .OUGEr{color: rgba(28,28,28,1);}.nyKByd .qLrapd{color: rgba(249,249,249,1);}.nyKByd .duRjpb{color: rgba(249,249,249,1);}.nyKByd .duRjpb .OUGEr{color: rgba(249,249,249,1);}.aHM7ed{color: rgba(21,44,71,1);}.JYVBee{color: rgba(21,44,71,1);}.JYVBee .OUGEr{color: rgba(21,44,71,1);}.qeLZfd .aHM7ed{color: rgba(255,255,255,1);}.qeLZfd .JYVBee{color: rgba(255,255,255,1);}.qeLZfd .JYVBee .OUGEr{color: rgba(255,255,255,1);}.lQAHbd .aHM7ed{color: rgba(249,249,249,1);}.lQAHbd .JYVBee{color: rgba(249,249,249,1);}.lQAHbd .JYVBee .OUGEr{color: rgba(249,249,249,1);}.tpmmCb .aHM7ed{color: rgba(28,28,28,1);}.tpmmCb .JYVBee{color: rgba(28,28,28,1);}.tpmmCb .JYVBee .OUGEr{color: rgba(28,28,28,1);}.nyKByd .aHM7ed{color: rgba(249,249,249,1);}.nyKByd .JYVBee{color: rgba(249,249,249,1);}.nyKByd .JYVBee .OUGEr{color: rgba(249,249,249,1);}.NHD4Gf{color: rgba(21,44,71,1);}.OmQG5e{color: rgba(21,44,71,1);}.OmQG5e .OUGEr{color: rgba(21,44,71,1);}.qeLZfd .NHD4Gf{color: rgba(255,255,255,1);}.qeLZfd .OmQG5e{color: rgba(255,255,255,1);}.qeLZfd .OmQG5e .OUGEr{color: rgba(255,255,255,1);}.lQAHbd .NHD4Gf{color: rgba(249,249,249,1);}.lQAHbd .OmQG5e{color: rgba(249,249,249,1);}.lQAHbd .OmQG5e .OUGEr{color: rgba(249,249,249,1);}.tpmmCb .NHD4Gf{color: rgba(28,28,28,1);}.tpmmCb .OmQG5e{color: rgba(28,28,28,1);}.tpmmCb .OmQG5e .OUGEr{color: rgba(28,28,28,1);}.nyKByd .NHD4Gf{color: rgba(249,249,249,1);}.nyKByd .OmQG5e{color: rgba(249,249,249,1);}.nyKByd .OmQG5e .OUGEr{color: rgba(249,249,249,1);}.Glwbz{color: rgba(21,44,71,1);}.TMjjoe{color: rgba(21,44,71,1);}.qeLZfd .Glwbz{color: rgba(21,44,71,1);}.qeLZfd .TMjjoe{color: rgba(21,44,71,1);}.lQAHbd .Glwbz{color: rgba(21,44,71,1);}.lQAHbd .TMjjoe{color: rgba(21,44,71,1);}.tpmmCb .Glwbz{color: rgba(28,28,28,1);}.tpmmCb .TMjjoe{color: rgba(28,28,28,1);}.nyKByd .Glwbz{color: rgba(249,249,249,1);}.nyKByd .TMjjoe{color: rgba(249,249,249,1);}.aw5Odc{color: rgba(241,194,46,1);}a.chg4Jd:focus{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(241, 194, 46, 1);}.htnAL:focus-within{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(241, 194, 46, 1);}.qeLZfd .aw5Odc{color: rgba(21,44,71,1);}.qeLZfd a.chg4Jd:focus{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(21, 44, 71, 1);}.qeLZfd .htnAL:focus-within{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(21, 44, 71, 1);}.lQAHbd .aw5Odc{color: rgba(249,249,249,1);}.lQAHbd a.chg4Jd:focus{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(249, 249, 249, 1);}.lQAHbd .htnAL:focus-within{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(249, 249, 249, 1);}.tpmmCb .aw5Odc{color: rgba(28,28,28,1);}.tpmmCb a.chg4Jd:focus{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(28, 28, 28, 1);}.tpmmCb .htnAL:focus-within{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(28, 28, 28, 1);}.nyKByd .aw5Odc{color: rgba(249,249,249,1);}.nyKByd a.chg4Jd:focus{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(249, 249, 249, 1);}.nyKByd .htnAL:focus-within{box-shadow: 0 0 0 2px rgba(255, 255, 255, 0.8), 0 0 0 4px rgba(249, 249, 249, 1);}.ImnMyf{color: rgba(21,44,71,1);}.Vs12Bd{color: rgba(21,44,71,1);}.S5d9Rd{color: rgba(21,44,71,1);}.yaqOZd:before{display: block; background-color: rgba(255,255,255,1);}.yaqOZd.qeLZfd:before{display: block; background-color: rgba(241,194,46,1);}.yaqOZd.lQAHbd:before{display: block; background-color: rgba(21,44,71,1);}.O13XJf{height: 340px;}.nyKByd .Wew9ke{fill: rgba(255,255,255,1);}.tpmmCb .Wew9ke{fill: rgba(0,0,0,0.5400000215);}@media only screen and (max-width: 479px){.O13XJf{height: 250px;}}.SBrW1{height: 430px;}.M63kCb{background-color: rgba(255,255,255,1);}.xgQ6eb{background-color: rgba(255,255,255,1);}.mtsG9b{background-color: rgba(0,0,0,0.0299999993); outline-color: rgba(0,0,0,0.1000000015);}.qeLZfd .mtsG9b{background-color: rgba(0,0,0,0.0299999993); outline-color: rgba(0,0,0,0.1000000015);}.lQAHbd .mtsG9b{background-color: rgba(255,255,255,0.200000003); outline-color: rgba(255,255,255,0.3199999928);}.Mt0nFe{border-color: rgba(0,0,0,0.1000000015);}.qeLZfd .Mt0nFe{border-color: rgba(0,0,0,0.1000000015);}.lQAHbd .Mt0nFe{border-color: rgba(255,255,255,0.3199999928);}.ImnMyf{background-color: rgba(255,255,255,1);}.Vs12Bd{background-color: rgba(241,194,46,1);}.S5d9Rd{background-color: rgba(21,44,71,1);}.Wwnuce:not(.zX62Be){color: rgba(0,0,0,0.5400000215); fill: rgba(0,0,0,0.5400000215);}.qeLZfd .Wwnuce:not(.zX62Be){color: rgba(0,0,0,0.5400000215); fill: rgba(0,0,0,0.5400000215);}.lQAHbd .Wwnuce:not(.zX62Be){color: rgba(255,255,255,0.3199999928); fill: rgba(255,255,255,0.3199999928);}.tpmmCb .Wwnuce:not(.zX62Be){color: rgba(0,0,0,0.5400000215); fill: rgba(0,0,0,0.5400000215);}.nyKByd .Wwnuce:not(.zX62Be){color: rgba(255,255,255,0.3199999928); fill: rgba(255,255,255,0.3199999928);}.yaqOZd.O13XJf:before{background-color: rgba(21,44,71,1);}.CMArNe{background-color: rgba(21,44,71,1);}@media only screen and (min-width: 768px){.yaqOZd:not(.LB7kq):not(.WxWicb){padding-top: 1.5rem; padding-bottom: 1.5rem;}}.j5pSsc{padding-left: 5px; padding-right: 5px;}.ZcASvf-AhqUyc-R6PoUb.SQVYQc .QjXeod{padding-top: 30.0%;}.ZcASvf-AhqUyc-R6PoUb.SQVYQc .KpytNd{width: 15.0%;}@media only screen{.ZcASvf-AhqUyc-R6PoUb.SQVYQc .LkDMRd{padding-left: 15.0%; padding-right: 15.0%;}}@media only screen{.ZcASvf-AhqUyc-R6PoUb.pdLmec .thH0zb{padding-left: 15.0%; padding-right: 15.0%;}}@media only screen{.ZcASvf-AhqUyc-R6PoUb .JFjBQd{left: -17.647058823529413%; right: -17.647058823529413%;}}@media only screen{.ZcASvf-AhqUyc-R6PoUb .JFjBQd .RQS9hb{left: 30.0%; width: 40.0%;}}.Ktthjf-AhqUyc-R6PoUb.SQVYQc .QjXeod{padding-top: 30.0%;}.Ktthjf-AhqUyc-R6PoUb.SQVYQc .KpytNd{width: 15.0%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-R6PoUb.SQVYQc .LkDMRd{padding-left: 15.0%; padding-right: 15.0%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-R6PoUb.pdLmec .thH0zb{padding-left: 15.0%; padding-right: 15.0%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-R6PoUb .JFjBQd{left: -17.647058823529413%; right: -17.647058823529413%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-R6PoUb .JFjBQd .RQS9hb{left: 30.0%; width: 40.0%;}}.Ft7HRd-AhqUyc-R6PoUb.SQVYQc .QjXeod{padding-top: 30.0%;}.Ft7HRd-AhqUyc-R6PoUb.SQVYQc .KpytNd{width: 15.0%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-R6PoUb.SQVYQc .LkDMRd{padding-left: 15.0%; padding-right: 15.0%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-R6PoUb.pdLmec .thH0zb{padding-left: 15.0%; padding-right: 15.0%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-R6PoUb .JFjBQd{left: -17.647058823529413%; right: -17.647058823529413%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-R6PoUb .JFjBQd .RQS9hb{left: 30.0%; width: 40.0%;}}.ZcASvf-AhqUyc-ibL1re.SQVYQc .QjXeod{padding-top: 15.0%;}.ZcASvf-AhqUyc-ibL1re.SQVYQc .KpytNd{width: 7.5%;}@media only screen{.ZcASvf-AhqUyc-ibL1re.SQVYQc .LkDMRd{padding-left: 7.5%; padding-right: 7.5%;}}@media only screen{.ZcASvf-AhqUyc-ibL1re.pdLmec .thH0zb{padding-left: 7.5%; padding-right: 7.5%;}}@media only screen{.ZcASvf-AhqUyc-ibL1re .JFjBQd{left: -8.108108108108107%; right: -8.108108108108107%;}}@media only screen{.ZcASvf-AhqUyc-ibL1re .JFjBQd .RQS9hb{left: 15.0%; width: 70.0%;}}.Ktthjf-AhqUyc-ibL1re.SQVYQc .QjXeod{padding-top: 15.0%;}.Ktthjf-AhqUyc-ibL1re.SQVYQc .KpytNd{width: 7.5%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-ibL1re.SQVYQc .LkDMRd{padding-left: 7.5%; padding-right: 7.5%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-ibL1re.pdLmec .thH0zb{padding-left: 7.5%; padding-right: 7.5%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-ibL1re .JFjBQd{left: -8.108108108108107%; right: -8.108108108108107%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-ibL1re .JFjBQd .RQS9hb{left: 15.0%; width: 70.0%;}}.Ft7HRd-AhqUyc-ibL1re.SQVYQc .QjXeod{padding-top: 15.0%;}.Ft7HRd-AhqUyc-ibL1re.SQVYQc .KpytNd{width: 7.5%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-ibL1re.SQVYQc .LkDMRd{padding-left: 7.5%; padding-right: 7.5%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-ibL1re.pdLmec .thH0zb{padding-left: 7.5%; padding-right: 7.5%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-ibL1re .JFjBQd{left: -8.108108108108107%; right: -8.108108108108107%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-ibL1re .JFjBQd .RQS9hb{left: 15.0%; width: 70.0%;}}.ZcASvf-AhqUyc-c5RTEf.SQVYQc .QjXeod{padding-top: 10.0%;}.ZcASvf-AhqUyc-c5RTEf.SQVYQc .KpytNd{width: 5.0%;}@media only screen{.ZcASvf-AhqUyc-c5RTEf.SQVYQc .LkDMRd{padding-left: 5.0%; padding-right: 5.0%;}}@media only screen{.ZcASvf-AhqUyc-c5RTEf.pdLmec .thH0zb{padding-left: 5.0%; padding-right: 5.0%;}}@media only screen{.ZcASvf-AhqUyc-c5RTEf .JFjBQd{left: -5.263157894736842%; right: -5.263157894736842%;}}@media only screen{.ZcASvf-AhqUyc-c5RTEf .JFjBQd .RQS9hb{left: 10.0%; width: 80.0%;}}.Ktthjf-AhqUyc-c5RTEf.SQVYQc .QjXeod{padding-top: 10.0%;}.Ktthjf-AhqUyc-c5RTEf.SQVYQc .KpytNd{width: 5.0%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-c5RTEf.SQVYQc .LkDMRd{padding-left: 5.0%; padding-right: 5.0%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-c5RTEf.pdLmec .thH0zb{padding-left: 5.0%; padding-right: 5.0%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-c5RTEf .JFjBQd{left: -5.263157894736842%; right: -5.263157894736842%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-c5RTEf .JFjBQd .RQS9hb{left: 10.0%; width: 80.0%;}}.Ft7HRd-AhqUyc-c5RTEf.SQVYQc .QjXeod{padding-top: 10.0%;}.Ft7HRd-AhqUyc-c5RTEf.SQVYQc .KpytNd{width: 5.0%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-c5RTEf.SQVYQc .LkDMRd{padding-left: 5.0%; padding-right: 5.0%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-c5RTEf.pdLmec .thH0zb{padding-left: 5.0%; padding-right: 5.0%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-c5RTEf .JFjBQd{left: -5.263157894736842%; right: -5.263157894736842%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-c5RTEf .JFjBQd .RQS9hb{left: 10.0%; width: 80.0%;}}.ZcASvf-AhqUyc-II5mzb.SQVYQc .QjXeod{padding-top: 7.5%;}.ZcASvf-AhqUyc-II5mzb.SQVYQc .KpytNd{width: 3.75%;}@media only screen{.ZcASvf-AhqUyc-II5mzb.SQVYQc .LkDMRd{padding-left: 3.75%; padding-right: 3.75%;}}@media only screen{.ZcASvf-AhqUyc-II5mzb.pdLmec .thH0zb{padding-left: 3.75%; padding-right: 3.75%;}}@media only screen{.ZcASvf-AhqUyc-II5mzb .JFjBQd{left: -3.896103896103896%; right: -3.896103896103896%;}}@media only screen{.ZcASvf-AhqUyc-II5mzb .JFjBQd .RQS9hb{left: 7.5%; width: 85.0%;}}.Ktthjf-AhqUyc-II5mzb.SQVYQc .QjXeod{padding-top: 7.5%;}.Ktthjf-AhqUyc-II5mzb.SQVYQc .KpytNd{width: 3.75%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-II5mzb.SQVYQc .LkDMRd{padding-left: 3.75%; padding-right: 3.75%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-II5mzb.pdLmec .thH0zb{padding-left: 3.75%; padding-right: 3.75%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-II5mzb .JFjBQd{left: -3.896103896103896%; right: -3.896103896103896%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-II5mzb .JFjBQd .RQS9hb{left: 7.5%; width: 85.0%;}}.Ft7HRd-AhqUyc-II5mzb.SQVYQc .QjXeod{padding-top: 7.5%;}.Ft7HRd-AhqUyc-II5mzb.SQVYQc .KpytNd{width: 3.75%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-II5mzb.SQVYQc .LkDMRd{padding-left: 3.75%; padding-right: 3.75%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-II5mzb.pdLmec .thH0zb{padding-left: 3.75%; padding-right: 3.75%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-II5mzb .JFjBQd{left: -3.896103896103896%; right: -3.896103896103896%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-II5mzb .JFjBQd .RQS9hb{left: 7.5%; width: 85.0%;}}.ZcASvf-AhqUyc-wNfPc.SQVYQc .QjXeod{padding-top: 6.0%;}.ZcASvf-AhqUyc-wNfPc.SQVYQc .KpytNd{width: 3.0%;}@media only screen{.ZcASvf-AhqUyc-wNfPc.SQVYQc .LkDMRd{padding-left: 3.0%; padding-right: 3.0%;}}@media only screen{.ZcASvf-AhqUyc-wNfPc.pdLmec .thH0zb{padding-left: 3.0%; padding-right: 3.0%;}}@media only screen{.ZcASvf-AhqUyc-wNfPc .JFjBQd{left: -3.0927835051546393%; right: -3.0927835051546393%;}}@media only screen{.ZcASvf-AhqUyc-wNfPc .JFjBQd .RQS9hb{left: 6.0%; width: 88.0%;}}.Ktthjf-AhqUyc-wNfPc.SQVYQc .QjXeod{padding-top: 6.0%;}.Ktthjf-AhqUyc-wNfPc.SQVYQc .KpytNd{width: 3.0%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-wNfPc.SQVYQc .LkDMRd{padding-left: 3.0%; padding-right: 3.0%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-wNfPc.pdLmec .thH0zb{padding-left: 3.0%; padding-right: 3.0%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-wNfPc .JFjBQd{left: -3.0927835051546393%; right: -3.0927835051546393%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-wNfPc .JFjBQd .RQS9hb{left: 6.0%; width: 88.0%;}}.Ft7HRd-AhqUyc-wNfPc.SQVYQc .QjXeod{padding-top: 6.0%;}.Ft7HRd-AhqUyc-wNfPc.SQVYQc .KpytNd{width: 3.0%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-wNfPc.SQVYQc .LkDMRd{padding-left: 3.0%; padding-right: 3.0%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-wNfPc.pdLmec .thH0zb{padding-left: 3.0%; padding-right: 3.0%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-wNfPc .JFjBQd{left: -3.0927835051546393%; right: -3.0927835051546393%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-wNfPc .JFjBQd .RQS9hb{left: 6.0%; width: 88.0%;}}.ZcASvf-AhqUyc-qWD73c.SQVYQc .QjXeod{padding-top: 5.0%;}.ZcASvf-AhqUyc-qWD73c.SQVYQc .KpytNd{width: 2.5%;}@media only screen{.ZcASvf-AhqUyc-qWD73c.SQVYQc .LkDMRd{padding-left: 2.5%; padding-right: 2.5%;}}@media only screen{.ZcASvf-AhqUyc-qWD73c.pdLmec .thH0zb{padding-left: 2.5%; padding-right: 2.5%;}}@media only screen{.ZcASvf-AhqUyc-qWD73c .JFjBQd{left: -2.5641025641025643%; right: -2.5641025641025643%;}}@media only screen{.ZcASvf-AhqUyc-qWD73c .JFjBQd .RQS9hb{left: 5.0%; width: 90.0%;}}.Ktthjf-AhqUyc-qWD73c.SQVYQc .QjXeod{padding-top: 5.0%;}.Ktthjf-AhqUyc-qWD73c.SQVYQc .KpytNd{width: 2.5%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-qWD73c.SQVYQc .LkDMRd{padding-left: 2.5%; padding-right: 2.5%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-qWD73c.pdLmec .thH0zb{padding-left: 2.5%; padding-right: 2.5%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-qWD73c .JFjBQd{left: -2.5641025641025643%; right: -2.5641025641025643%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-qWD73c .JFjBQd .RQS9hb{left: 5.0%; width: 90.0%;}}.Ft7HRd-AhqUyc-qWD73c.SQVYQc .QjXeod{padding-top: 5.0%;}.Ft7HRd-AhqUyc-qWD73c.SQVYQc .KpytNd{width: 2.5%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-qWD73c.SQVYQc .LkDMRd{padding-left: 2.5%; padding-right: 2.5%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-qWD73c.pdLmec .thH0zb{padding-left: 2.5%; padding-right: 2.5%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-qWD73c .JFjBQd{left: -2.5641025641025643%; right: -2.5641025641025643%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-qWD73c .JFjBQd .RQS9hb{left: 5.0%; width: 90.0%;}}.ZcASvf-AhqUyc-OwsYgb.SQVYQc .QjXeod{padding-top: 4.285714285714286%;}.ZcASvf-AhqUyc-OwsYgb.SQVYQc .KpytNd{width: 2.142857142857143%;}@media only screen{.ZcASvf-AhqUyc-OwsYgb.SQVYQc .LkDMRd{padding-left: 2.142857142857143%; padding-right: 2.142857142857143%;}}@media only screen{.ZcASvf-AhqUyc-OwsYgb.pdLmec .thH0zb{padding-left: 2.142857142857143%; padding-right: 2.142857142857143%;}}@media only screen{.ZcASvf-AhqUyc-OwsYgb .JFjBQd{left: -2.18978102189781%; right: -2.18978102189781%;}}@media only screen{.ZcASvf-AhqUyc-OwsYgb .JFjBQd .RQS9hb{left: 4.285714285714286%; width: 91.42857142857143%;}}.Ktthjf-AhqUyc-OwsYgb.SQVYQc .QjXeod{padding-top: 4.285714285714286%;}.Ktthjf-AhqUyc-OwsYgb.SQVYQc .KpytNd{width: 2.142857142857143%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-OwsYgb.SQVYQc .LkDMRd{padding-left: 2.142857142857143%; padding-right: 2.142857142857143%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-OwsYgb.pdLmec .thH0zb{padding-left: 2.142857142857143%; padding-right: 2.142857142857143%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-OwsYgb .JFjBQd{left: -2.18978102189781%; right: -2.18978102189781%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-OwsYgb .JFjBQd .RQS9hb{left: 4.285714285714286%; width: 91.42857142857143%;}}.Ft7HRd-AhqUyc-OwsYgb.SQVYQc .QjXeod{padding-top: 4.285714285714286%;}.Ft7HRd-AhqUyc-OwsYgb.SQVYQc .KpytNd{width: 2.142857142857143%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-OwsYgb.SQVYQc .LkDMRd{padding-left: 2.142857142857143%; padding-right: 2.142857142857143%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-OwsYgb.pdLmec .thH0zb{padding-left: 2.142857142857143%; padding-right: 2.142857142857143%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-OwsYgb .JFjBQd{left: -2.18978102189781%; right: -2.18978102189781%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-OwsYgb .JFjBQd .RQS9hb{left: 4.285714285714286%; width: 91.42857142857143%;}}.ZcASvf-AhqUyc-OiUrBf.SQVYQc .QjXeod{padding-top: 3.75%;}.ZcASvf-AhqUyc-OiUrBf.SQVYQc .KpytNd{width: 1.875%;}@media only screen{.ZcASvf-AhqUyc-OiUrBf.SQVYQc .LkDMRd{padding-left: 1.875%; padding-right: 1.875%;}}@media only screen{.ZcASvf-AhqUyc-OiUrBf.pdLmec .thH0zb{padding-left: 1.875%; padding-right: 1.875%;}}@media only screen{.ZcASvf-AhqUyc-OiUrBf .JFjBQd{left: -1.910828025477707%; right: -1.910828025477707%;}}@media only screen{.ZcASvf-AhqUyc-OiUrBf .JFjBQd .RQS9hb{left: 3.75%; width: 92.5%;}}.Ktthjf-AhqUyc-OiUrBf.SQVYQc .QjXeod{padding-top: 3.75%;}.Ktthjf-AhqUyc-OiUrBf.SQVYQc .KpytNd{width: 1.875%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-OiUrBf.SQVYQc .LkDMRd{padding-left: 1.875%; padding-right: 1.875%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-OiUrBf.pdLmec .thH0zb{padding-left: 1.875%; padding-right: 1.875%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-OiUrBf .JFjBQd{left: -1.910828025477707%; right: -1.910828025477707%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-OiUrBf .JFjBQd .RQS9hb{left: 3.75%; width: 92.5%;}}.Ft7HRd-AhqUyc-OiUrBf.SQVYQc .QjXeod{padding-top: 3.75%;}.Ft7HRd-AhqUyc-OiUrBf.SQVYQc .KpytNd{width: 1.875%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-OiUrBf.SQVYQc .LkDMRd{padding-left: 1.875%; padding-right: 1.875%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-OiUrBf.pdLmec .thH0zb{padding-left: 1.875%; padding-right: 1.875%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-OiUrBf .JFjBQd{left: -1.910828025477707%; right: -1.910828025477707%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-OiUrBf .JFjBQd .RQS9hb{left: 3.75%; width: 92.5%;}}.ZcASvf-AhqUyc-Clt0zb.SQVYQc .QjXeod{padding-top: 3.3333333333333335%;}.ZcASvf-AhqUyc-Clt0zb.SQVYQc .KpytNd{width: 1.6666666666666667%;}@media only screen{.ZcASvf-AhqUyc-Clt0zb.SQVYQc .LkDMRd{padding-left: 1.6666666666666667%; padding-right: 1.6666666666666667%;}}@media only screen{.ZcASvf-AhqUyc-Clt0zb.pdLmec .thH0zb{padding-left: 1.6666666666666667%; padding-right: 1.6666666666666667%;}}@media only screen{.ZcASvf-AhqUyc-Clt0zb .JFjBQd{left: -1.6949152542372883%; right: -1.6949152542372883%;}}@media only screen{.ZcASvf-AhqUyc-Clt0zb .JFjBQd .RQS9hb{left: 3.3333333333333335%; width: 93.33333333333333%;}}.Ktthjf-AhqUyc-Clt0zb.SQVYQc .QjXeod{padding-top: 3.3333333333333335%;}.Ktthjf-AhqUyc-Clt0zb.SQVYQc .KpytNd{width: 1.6666666666666667%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-Clt0zb.SQVYQc .LkDMRd{padding-left: 1.6666666666666667%; padding-right: 1.6666666666666667%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-Clt0zb.pdLmec .thH0zb{padding-left: 1.6666666666666667%; padding-right: 1.6666666666666667%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-Clt0zb .JFjBQd{left: -1.6949152542372883%; right: -1.6949152542372883%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-Clt0zb .JFjBQd .RQS9hb{left: 3.3333333333333335%; width: 93.33333333333333%;}}.Ft7HRd-AhqUyc-Clt0zb.SQVYQc .QjXeod{padding-top: 3.3333333333333335%;}.Ft7HRd-AhqUyc-Clt0zb.SQVYQc .KpytNd{width: 1.6666666666666667%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-Clt0zb.SQVYQc .LkDMRd{padding-left: 1.6666666666666667%; padding-right: 1.6666666666666667%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-Clt0zb.pdLmec .thH0zb{padding-left: 1.6666666666666667%; padding-right: 1.6666666666666667%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-Clt0zb .JFjBQd{left: -1.6949152542372883%; right: -1.6949152542372883%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-Clt0zb .JFjBQd .RQS9hb{left: 3.3333333333333335%; width: 93.33333333333333%;}}.ZcASvf-AhqUyc-EehZO.SQVYQc .QjXeod{padding-top: 3.0%;}.ZcASvf-AhqUyc-EehZO.SQVYQc .KpytNd{width: 1.5%;}@media only screen{.ZcASvf-AhqUyc-EehZO.SQVYQc .LkDMRd{padding-left: 1.5%; padding-right: 1.5%;}}@media only screen{.ZcASvf-AhqUyc-EehZO.pdLmec .thH0zb{padding-left: 1.5%; padding-right: 1.5%;}}@media only screen{.ZcASvf-AhqUyc-EehZO .JFjBQd{left: -1.5228426395939088%; right: -1.5228426395939088%;}}@media only screen{.ZcASvf-AhqUyc-EehZO .JFjBQd .RQS9hb{left: 3.0%; width: 94.0%;}}.Ktthjf-AhqUyc-EehZO.SQVYQc .QjXeod{padding-top: 3.0%;}.Ktthjf-AhqUyc-EehZO.SQVYQc .KpytNd{width: 1.5%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-EehZO.SQVYQc .LkDMRd{padding-left: 1.5%; padding-right: 1.5%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-EehZO.pdLmec .thH0zb{padding-left: 1.5%; padding-right: 1.5%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-EehZO .JFjBQd{left: -1.5228426395939088%; right: -1.5228426395939088%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-EehZO .JFjBQd .RQS9hb{left: 3.0%; width: 94.0%;}}.Ft7HRd-AhqUyc-EehZO.SQVYQc .QjXeod{padding-top: 3.0%;}.Ft7HRd-AhqUyc-EehZO.SQVYQc .KpytNd{width: 1.5%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-EehZO.SQVYQc .LkDMRd{padding-left: 1.5%; padding-right: 1.5%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-EehZO.pdLmec .thH0zb{padding-left: 1.5%; padding-right: 1.5%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-EehZO .JFjBQd{left: -1.5228426395939088%; right: -1.5228426395939088%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-EehZO .JFjBQd .RQS9hb{left: 3.0%; width: 94.0%;}}.ZcASvf-AhqUyc-zQtlcf.SQVYQc .QjXeod{padding-top: 2.727272727272727%;}.ZcASvf-AhqUyc-zQtlcf.SQVYQc .KpytNd{width: 1.3636363636363635%;}@media only screen{.ZcASvf-AhqUyc-zQtlcf.SQVYQc .LkDMRd{padding-left: 1.3636363636363635%; padding-right: 1.3636363636363635%;}}@media only screen{.ZcASvf-AhqUyc-zQtlcf.pdLmec .thH0zb{padding-left: 1.3636363636363635%; padding-right: 1.3636363636363635%;}}@media only screen{.ZcASvf-AhqUyc-zQtlcf .JFjBQd{left: -1.3824884792626728%; right: -1.3824884792626728%;}}@media only screen{.ZcASvf-AhqUyc-zQtlcf .JFjBQd .RQS9hb{left: 2.727272727272727%; width: 94.54545454545455%;}}.Ktthjf-AhqUyc-zQtlcf.SQVYQc .QjXeod{padding-top: 2.727272727272727%;}.Ktthjf-AhqUyc-zQtlcf.SQVYQc .KpytNd{width: 1.3636363636363635%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-zQtlcf.SQVYQc .LkDMRd{padding-left: 1.3636363636363635%; padding-right: 1.3636363636363635%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-zQtlcf.pdLmec .thH0zb{padding-left: 1.3636363636363635%; padding-right: 1.3636363636363635%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-zQtlcf .JFjBQd{left: -1.3824884792626728%; right: -1.3824884792626728%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-zQtlcf .JFjBQd .RQS9hb{left: 2.727272727272727%; width: 94.54545454545455%;}}.Ft7HRd-AhqUyc-zQtlcf.SQVYQc .QjXeod{padding-top: 2.727272727272727%;}.Ft7HRd-AhqUyc-zQtlcf.SQVYQc .KpytNd{width: 1.3636363636363635%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-zQtlcf.SQVYQc .LkDMRd{padding-left: 1.3636363636363635%; padding-right: 1.3636363636363635%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-zQtlcf.pdLmec .thH0zb{padding-left: 1.3636363636363635%; padding-right: 1.3636363636363635%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-zQtlcf .JFjBQd{left: -1.3824884792626728%; right: -1.3824884792626728%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-zQtlcf .JFjBQd .RQS9hb{left: 2.727272727272727%; width: 94.54545454545455%;}}.ZcASvf-AhqUyc-uQSCkd.SQVYQc .QjXeod{padding-top: 2.5%;}.ZcASvf-AhqUyc-uQSCkd.SQVYQc .KpytNd{width: 1.25%;}@media only screen{.ZcASvf-AhqUyc-uQSCkd.SQVYQc .LkDMRd{padding-left: 1.25%; padding-right: 1.25%;}}@media only screen{.ZcASvf-AhqUyc-uQSCkd.pdLmec .thH0zb{padding-left: 1.25%; padding-right: 1.25%;}}@media only screen{.ZcASvf-AhqUyc-uQSCkd .JFjBQd{left: -1.2658227848101267%; right: -1.2658227848101267%;}}@media only screen{.ZcASvf-AhqUyc-uQSCkd .JFjBQd .RQS9hb{left: 2.5%; width: 95.0%;}}.Ktthjf-AhqUyc-uQSCkd.SQVYQc .QjXeod{padding-top: 2.5%;}.Ktthjf-AhqUyc-uQSCkd.SQVYQc .KpytNd{width: 1.25%;}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-uQSCkd.SQVYQc .LkDMRd{padding-left: 1.25%; padding-right: 1.25%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-uQSCkd.pdLmec .thH0zb{padding-left: 1.25%; padding-right: 1.25%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-uQSCkd .JFjBQd{left: -1.2658227848101267%; right: -1.2658227848101267%;}}@media only screen and (min-width: 480px){.Ktthjf-AhqUyc-uQSCkd .JFjBQd .RQS9hb{left: 2.5%; width: 95.0%;}}.Ft7HRd-AhqUyc-uQSCkd.SQVYQc .QjXeod{padding-top: 2.5%;}.Ft7HRd-AhqUyc-uQSCkd.SQVYQc .KpytNd{width: 1.25%;}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-uQSCkd.SQVYQc .LkDMRd{padding-left: 1.25%; padding-right: 1.25%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-uQSCkd.pdLmec .thH0zb{padding-left: 1.25%; padding-right: 1.25%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-uQSCkd .JFjBQd{left: -1.2658227848101267%; right: -1.2658227848101267%;}}@media only screen and (min-width: 768px){.Ft7HRd-AhqUyc-uQSCkd .JFjBQd .RQS9hb{left: 2.5%; width: 95.0%;}}@media only screen and (min-width: 768px){.LB7kq.gk8rDe .db35Fc .zu5uec{padding-top: 1.5rem; padding-bottom: 1.5rem;}}@media only screen and (max-width: 767px){.dmUFtb{padding-top: 1.5rem;}}@media only screen and (max-width: 767px){.g5GTcb{padding-bottom: 1.5rem;}}@media only screen and (min-width: 768px){.db35Fc{padding-left: 48px; padding-right: 48px;}}@media only screen and (max-width: 479px){.LkDMRd{padding-left: 3.75%; padding-right: 3.75%;}}@media only screen and (min-width: 480px) and (max-width: 767px){.LkDMRd{padding-left: 2.5%; padding-right: 2.5%;}}@media only screen and (min-width: 480px) and (max-width: 767px){.db35Fc{max-width: 544px;}}@media only screen and (min-width: 480px) and (max-width: 767px){.ZZyype{max-width: 544px;}}.Iif4nf{padding-right: 48px; padding-left: 48px;}.HQwdzb .Depvyb{padding-top: 14px; padding-bottom: 14px;}.yaqOZd .db35Fc{max-width: 1280px;}.db35Fc .ZZyype{max-width: 1280px;}.CDt4Ke.zfr3Q{font-family: Inter; font-weight: 400; font-style: normal; font-variant: normal; vertical-align: baseline; text-decoration: none; display: block; line-height: 1.5; text-align: left; margin-left: 0.0pt; margin-right: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt; margin-top: 12.0pt; margin-bottom: 0.0pt; font-size: 12.0pt;}.TYR86d.zfr3Q{font-family: Inter; font-weight: 400; font-style: normal; font-variant: normal; vertical-align: baseline; font-size: 12.0pt;}.CDt4Ke.duRjpb{font-family: Inter; font-weight: 700; font-style: normal; font-variant: normal; vertical-align: baseline; text-decoration: none; display: block; line-height: 1.38; text-align: left; margin-left: 0.0pt; margin-right: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt; margin-top: 34.0pt; margin-bottom: 0.0pt;}.TYR86d.duRjpb{font-family: Inter; font-weight: 700; font-style: normal; font-variant: normal; vertical-align: baseline;}.CDt4Ke.duRjpb{font-size: 34.0pt;}.TYR86d.duRjpb{font-size: 34.0pt;}@media only screen and (max-width: 479px){.CDt4Ke.duRjpb{font-size: 25.0pt;}}@media only screen and (max-width: 479px){.TYR86d.duRjpb{font-size: 25.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.CDt4Ke.duRjpb{font-size: 30.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.TYR86d.duRjpb{font-size: 30.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.CDt4Ke.duRjpb{font-size: 34.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.TYR86d.duRjpb{font-size: 34.0pt;}}@media only screen and (min-width: 1280px){.CDt4Ke.duRjpb{font-size: 34.0pt;}}@media only screen and (min-width: 1280px){.TYR86d.duRjpb{font-size: 34.0pt;}}.CDt4Ke.JYVBee{font-family: Inter; font-weight: 700; font-style: normal; font-variant: normal; vertical-align: baseline; text-decoration: none; display: block; line-height: 1.5; text-align: left; margin-left: 0.0pt; margin-right: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt; margin-top: 18.0pt; margin-bottom: 0.0pt;}.TYR86d.JYVBee{font-family: Inter; font-weight: 700; font-style: normal; font-variant: normal; vertical-align: baseline;}.CDt4Ke.JYVBee{font-size: 30.0pt;}.TYR86d.JYVBee{font-size: 30.0pt;}@media only screen and (max-width: 479px){.CDt4Ke.JYVBee{font-size: 23.0pt;}}@media only screen and (max-width: 479px){.TYR86d.JYVBee{font-size: 23.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.CDt4Ke.JYVBee{font-size: 27.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.TYR86d.JYVBee{font-size: 27.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.CDt4Ke.JYVBee{font-size: 30.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.TYR86d.JYVBee{font-size: 30.0pt;}}@media only screen and (min-width: 1280px){.CDt4Ke.JYVBee{font-size: 30.0pt;}}@media only screen and (min-width: 1280px){.TYR86d.JYVBee{font-size: 30.0pt;}}.CDt4Ke.OmQG5e{font-family: Inter; font-weight: 500; font-style: normal; font-variant: normal; vertical-align: baseline; text-decoration: none; display: block; line-height: 1.5; text-align: left; margin-left: 0.0pt; margin-right: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt; margin-top: 14.0pt; margin-bottom: 0.0pt;}.TYR86d.OmQG5e{font-family: Inter; font-weight: 500; font-style: normal; font-variant: normal; vertical-align: baseline;}.CDt4Ke.OmQG5e{font-size: 16.0pt;}.TYR86d.OmQG5e{font-size: 16.0pt;}@media only screen and (max-width: 479px){.CDt4Ke.OmQG5e{font-size: 16.0pt;}}@media only screen and (max-width: 479px){.TYR86d.OmQG5e{font-size: 16.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.CDt4Ke.OmQG5e{font-size: 16.0pt;}}@media only screen and (min-width: 480px) and (max-width: 767px){.TYR86d.OmQG5e{font-size: 16.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.CDt4Ke.OmQG5e{font-size: 16.0pt;}}@media only screen and (min-width: 768px) and (max-width: 1279px){.TYR86d.OmQG5e{font-size: 16.0pt;}}@media only screen and (min-width: 1280px){.CDt4Ke.OmQG5e{font-size: 16.0pt;}}@media only screen and (min-width: 1280px){.TYR86d.OmQG5e{font-size: 16.0pt;}}.CDt4Ke.TMjjoe{font-family: Inter; font-weight: 400; font-style: normal; font-variant: normal; vertical-align: baseline; text-decoration: none; display: block; line-height: 1.5; text-align: left; margin-left: 0.0pt; margin-right: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt; margin-top: 8.0pt; margin-bottom: 0.0pt; font-size: 10.0pt;}.TYR86d.TMjjoe{font-family: Inter; font-weight: 400; font-style: normal; font-variant: normal; vertical-align: baseline; font-size: 10.0pt;}.Y4CpGd{font-family: Inter; font-weight: 400; font-style: normal; font-variant: normal; vertical-align: baseline; font-size: 12.0pt;}.mTgrD{font-family: Inter; font-weight: 400; font-style: normal; font-variant: normal; vertical-align: baseline;}.pBmh1{margin-top: 12.0pt; margin-bottom: 0.0pt;}.yQHJof{font-family: Inter; font-weight: 400; font-style: normal; font-variant: normal; vertical-align: baseline; font-size: 10.0pt;}.QcmuFb{padding-left: 20px;}.RuayVd{padding-right: 20px;}.vDPrib{padding-left: 40px;}.YzcKX{padding-right: 40px;}.TBDXjd{padding-left: 60px;}.reTV0b{padding-right: 60px;}.bYeK8e{padding-left: 80px;}.vSYeUc{padding-right: 80px;}.CuqSDe{padding-left: 100px;}.PxtZIe{padding-right: 100px;}.Havqpe{padding-left: 120px;}.ahQMed{padding-right: 120px;}.JvDrRe{padding-left: 140px;}.rzhcXb{padding-right: 140px;}.o5lrIf{padding-left: 160px;}.PBhj0b{padding-right: 160px;}.yOJW7c{padding-left: 180px;}.TlN46c{padding-right: 180px;}.rB8cye{padding-left: 200px;}.GEdNnc{padding-right: 200px;}section[id="h.2ed596ed132d779d_519"] .IFuOkc:before{opacity: 0.0;}</style><script nonce="fRCFcSyp6C9tAJReM-yQBA">_at_config = [null,"AIzaSyChg3MFqzdi1P5J-YvEyakkSA1yU7HRcDI","897606708560-a63d8ia0t9dhtpdt4i3djab2m42see7o.apps.googleusercontent.com",null,null,null,null,null,null,null,null,null,null,null,"SITES_%s",null,null,null,null,null,null,null,null,null,["AHKXmL3qSBNEdoPW1Ko1yjHo_l248zMKCqdT8BXpcrxlQRuBQb_DvMh-LP02djVrMHEjHjJyAg9L",1,"CNWi9bGW_IkDFfCvIwAdvNcD1g",1732698896683348,[5703839,5704621,5706832,5706836,5707711,5737784,5737800,5738513,5738529,5740798,5740814,5743108,5743124,5747261,5748013,5748029,5752678,5752694,5753313,5753329,5754213,5754229,5755080,5755096,5758807,5758823,5762243,5762259,5764252,5764268,5765535,5765551,5766761,5766777,5773662,5773678,5774331,5774347,5774836,5774852,5776501,5776517,5784931,5784947,5784951,5784967,5791766,5791782,5796457,5796473,14101306,14101502,14101510,14101534,49372435,49372443,49375314,49375322,49472063,49472071,49622823,49622831,49623173,49623181,49643568,49643576,49644015,49644023,49769337,49769345,49822921,49822929,49823164,49823172,49833462,49833470,49842855,49842863,49924706,49924714,50221720,50221728,50266222,50266230,50273528,50273536,50297076,50297084,50297426,50297434,50498907,50498915,50529103,50529111,50561333,50561341,50586962,50586970,70971256,70971264,71035517,71035525,71038255,71038263,71079938,71079946,71085241,71085249,71185170,71185178,71197826,71197834,71238946,71238954,71289146,71289154,71387889,71387897,71429507,71429515,71478200,71478208,71478589,71478597,71502841,71502849,71528597,71528605,71530083,71530091,71544834,71544842,71545513,71545521,71546425,71546433,71560069,71560077,71561541,71561549,71573870,71573878,71642103,71642111,71652840,71652848,71658040,71658048,71659813,71659821,71689860,71689868,71699841,71699849,71720760,71721087,71721095,71733083,71733091,71798420,71798436,71798440,71798456,71849655,71849663,71882106,71882114,71897827,71897835,71960540,71960548,71961126,71961134,94327671,94327679,94333153,94333161,94353368,94353376,94390153,94390161,94413607,94413615,94420737,94420745,94434257,94434265,94435578,94435586,94444292,94444300,94484634,94484642,94489858,94489866,94502654,94502662,94526768,94526776,94545004,94545012,94597639,94597647,94630911,94661802,94661810,94707424,94707432,94784571,94784579,94875009,94875017,94904089,94904097,94929210,94929218,94942490,94942498,95065889,95065897,95086181,95086189,95087186,95087194,95111975,95111983,95112873,95112881,95118551,95118559,95135933,95135941,95234185,95234871,95234879,95251262,95251270,95254920,95254928,95270945,95270953,95314802,95314810,95317985,99237681,99237689,99247596,99247604,99310979,99310987,99338440,99338448,99368792,99368800,99401881,99401889,99402331,99402339,99437441,99437449,99460069,100130662,100130678,101406734,101406742,101442805,101442813,101456452,101456460,101488823,101488831,101489187,101489195,101507186,101507194,101519280,101519288,101606928,101606936,101617516,101617524,101631040,101631048,101705089,101708583,101708591,101771970,101771978,101776366,101776374,101783430,101783446,101875084,101875092,102047752,102047760]],null,null,null,null,0,null,null,null,null,null,null,null,null,null,"https://drive.google.com",null,null,null,null,null,null,null,null,null,0,1,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,"v2internal","https://docs.google.com",null,null,null,null,null,null,"https://sites.google.com/new/",null,null,null,null,null,0,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,1,"",null,null,null,null,null,null,null,null,null,null,null,null,6,null,null,"https://accounts.google.com/o/oauth2/auth","https://accounts.google.com/o/oauth2/postmessageRelay",null,null,null,null,78,"https://sites.google.com/new/?usp\u003dviewer_footer",null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,"https://www.gstatic.com/atari/embeds/83a60601c213b72fb19c1855fb0c5f26/intermediate-frame-minified.html",1,null,"v2beta",null,null,null,null,null,null,4,"https://accounts.google.com/o/oauth2/iframe",null,null,null,null,null,null,"https://1570418156-atari-embeds.googleusercontent.com/embeds/16cb204cf3a9d4d223a0a3fd8b0eec5d/inner-frame-minified.html",null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,0,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,0,null,null,null,null,null,null,0,null,"",null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,1,null,null,null,null,0,null,null,null,null,null,null,null,null,null,null,null,null,null,null,null,1,null,null,[1732698896684,"editors.sites-viewer-frontend_20241112.02_p1","695977640",null,1,1,""],null,null,null,null,0,null,null,0,null,null,null,null,null,null,null,null,20,500,"https://domains.google.com",null,0,null,null,null,null,null,null,null,null,null,null,null,0,null,null,null,null,null,null,null,null,null,null,1,0,1,0,0,0,0,null,null,null,null,null,"https://www.google.com/calendar/embed",null,null,null,null,0,null,null,null,null,null,null,null,null,null,null,0,null,null,null,null,null,null,null,null,null,null,null,null,null,"PROD",0,null,0,null,1]; window.globals = {"enableAnalytics":true,"webPropertyId":"G-6MNKGHVV25","showDebug":false,"hashedSiteId":"9212ec18f5c8f7696375ad2179b8aa19b672975d70d3c9c3ae7967f80d35b2ab","normalizedPath":"imtlucca.it/sysma/sysma","pageTitle":"SySMA"}; function gapiLoaded() {if (globals.gapiLoaded == undefined) {globals.gapiLoaded = true;} else {globals.gapiLoaded();}}window.messages = []; window.addEventListener && window.addEventListener('message', function(e) {if (window.messages && e.data && e.data.magic == 'SHIC') {window.messages.push(e);}});</script><script src="https://apis.google.com/js/client.js?onload=gapiLoaded" nonce="fRCFcSyp6C9tAJReM-yQBA"></script><script nonce="fRCFcSyp6C9tAJReM-yQBA">(function(){}).call(this); </script><script async src="https://www.googletagmanager.com/gtag/js?id=G-6MNKGHVV25" nonce="fRCFcSyp6C9tAJReM-yQBA"></script><script nonce="fRCFcSyp6C9tAJReM-yQBA"> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} </script><script nonce="fRCFcSyp6C9tAJReM-yQBA">gtag('js', new Date()); gtag('set', 'developer_id.dZWRiYj', true); gtag('config', 'G-6MNKGHVV25');</script><script nonce="fRCFcSyp6C9tAJReM-yQBA">const imageUrl = null ; function bgImgLoaded() { if (!globals.headerBgImgLoaded) { globals.headerBgImgLoaded = new Date().getTime(); } else { globals.headerBgImgLoaded(); } } if (imageUrl) { const img = new Image(); img.src = imageUrl; img.onload = bgImgLoaded; globals.headerBgImgExists = true; } else { globals.headerBgImgExists = false; } </script></head><body dir="ltr" itemscope itemtype="http://schema.org/WebPage" id="yDmH0d" css="yDmH0d"><div jscontroller="pc62j" jsmodel="iTeaXe" jsaction="rcuQ6b:WYd;GvneHb:og1FDd;vbaUQc:uAM5ec;"><div id="docs-banner-container"><div id="docs-banners"><div id="HB1eCd-mzNpsf-r8s4j-ORHb"></div><div id="HB1eCd-TZk80d-r8s4j-ORHb" aria-live="assertive" aria-atomic="true"></div></div><div class="HB1eCd-Vkfede-NBtyUd-PvRhvb-LwH6nd"></div></div><div jscontroller="X4BaPc" jsaction="rcuQ6b:WYd;o6xM5b:Pg9eo;HuL2Hd:mHeCvf;VMhF5:FFYy5e;sk3Qmb:HI1Mdd;JIbuQc:rSzFEd(z2EeY),aSaF6e(ilzYPe);"><div jscontroller="o1L5Wb" data-sitename="sysma" data-search-scope="1" data-domain="imtlucca.it" data-universe="1" jsmodel="fNFZH" jsaction="Pe9H6d:cZFEp;WMZaJ:VsGN3;hJluRd:UADL7b;zuqEgd:HI9w0;tr6QDd:Y8aXB;MxH79b:xDkBfb;JIbuQc:SPXMTb(uxAMZ),LjG1Ed(a6mxbb);" jsname="G0jgYd"><div jsname="gYwusb" class="p9b27"></div><div jscontroller="RrXLpc" jsname="XeeWQc" role="banner" jsaction="keydown:uiKYid(OH0EC);rcuQ6b:WYd;zuqEgd:ufqpf;JIbuQc:XfTnxb(lfEfFf),AlTiYc(GeGHKb),AlTiYc(m1xNUe),zZlNMe(pZn8Oc);YqO5N:ELcyfe;"><div jsname="bF1uUb" class="BuY5Fd" jsaction="click:xVuwSc;"></div><div jsname="MVsrn" class="TbNlJb "><div role="button" class="U26fgb mUbCce fKz7Od h3nfre M9Bg4d" jscontroller="VXdfxd" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;touchstart:p6p2H; touchmove:FwuNnf; touchend:yfqBxc(preventDefault=true); touchcancel:JMtRjd;" jsshadow jsname="GeGHKb" aria-label="Back to site" aria-disabled="false" tabindex="0" data-tooltip="Back to site" data-tooltip-vertical-offset="-12" data-tooltip-horizontal-offset="0"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -12px"><svg class="V4YR2c" viewBox="0 0 24 24" focusable="false"><path d="M0 0h24v24H0z" fill="none"/><path d="M20 11H7.83l5.59-5.59L12 4l-8 8 8 8 1.41-1.41L7.83 13H20v-2z"/></svg></span></span></div><div class="E2UJ5" jsname="M6JdT"><div class="rFrNMe b7AJhc zKHdkd" jscontroller="pxq3x" jsaction="clickonly:KjsqPd; focus:Jt1EX; blur:fpfTEe; input:Lg5SV" jsshadow jsname="OH0EC" aria-expanded="true"><div class="aCsJod oJeWuf"><div class="aXBtI I0VJ4d Wic03c"><span jsslot class="A37UZe qgcB3c iHd5yb"><div role="button" class="U26fgb mUbCce fKz7Od i3PoXe M9Bg4d" jscontroller="VXdfxd" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;touchstart:p6p2H; touchmove:FwuNnf; touchend:yfqBxc(preventDefault=true); touchcancel:JMtRjd;" jsshadow jsname="lfEfFf" aria-label="Search" aria-disabled="false" tabindex="0" data-tooltip="Search" data-tooltip-vertical-offset="-12" data-tooltip-horizontal-offset="0"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -12px"><svg class="vu8Pwe" viewBox="0 0 24 24" focusable="false"><path d="M15.5 14h-.79l-.28-.27C15.41 12.59 16 11.11 16 9.5 16 5.91 13.09 3 9.5 3S3 5.91 3 9.5 5.91 16 9.5 16c1.61 0 3.09-.59 4.23-1.57l.27.28v.79l5 4.99L20.49 19l-4.99-5zm-6 0C7.01 14 5 11.99 5 9.5S7.01 5 9.5 5 14 7.01 14 9.5 11.99 14 9.5 14z"/><path d="M0 0h24v24H0z" fill="none"/></svg></span></span></div><div class="EmVfjc SKShhf" data-loadingmessage="Loading…" jscontroller="qAKInc" jsaction="animationend:kWijWc;dyRcpb:dyRcpb" jsname="aZ2wEe"><div class="Cg7hO" aria-live="assertive" jsname="vyyg5"></div><div jsname="Hxlbvc" class="xu46lf"><div class="ir3uv uWlRce co39ub"><div class="xq3j6 ERcjC"><div class="X6jHbb GOJTSe"></div></div><div class="HBnAAc"><div class="X6jHbb GOJTSe"></div></div><div class="xq3j6 dj3yTd"><div class="X6jHbb GOJTSe"></div></div></div><div class="ir3uv GFoASc Cn087"><div class="xq3j6 ERcjC"><div class="X6jHbb GOJTSe"></div></div><div class="HBnAAc"><div class="X6jHbb GOJTSe"></div></div><div class="xq3j6 dj3yTd"><div class="X6jHbb GOJTSe"></div></div></div><div class="ir3uv WpeOqd hfsr6b"><div class="xq3j6 ERcjC"><div class="X6jHbb GOJTSe"></div></div><div class="HBnAAc"><div class="X6jHbb GOJTSe"></div></div><div class="xq3j6 dj3yTd"><div class="X6jHbb GOJTSe"></div></div></div><div class="ir3uv rHV3jf EjXFBf"><div class="xq3j6 ERcjC"><div class="X6jHbb GOJTSe"></div></div><div class="HBnAAc"><div class="X6jHbb GOJTSe"></div></div><div class="xq3j6 dj3yTd"><div class="X6jHbb GOJTSe"></div></div></div></div></div><div role="button" class="U26fgb mUbCce fKz7Od JyJRXe M9Bg4d" jscontroller="VXdfxd" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;touchstart:p6p2H; touchmove:FwuNnf; touchend:yfqBxc(preventDefault=true); touchcancel:JMtRjd;" jsshadow jsname="m1xNUe" aria-label="Back to site" aria-disabled="false" tabindex="0" data-tooltip="Back to site" data-tooltip-vertical-offset="-12" data-tooltip-horizontal-offset="0"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -12px"><svg class="V4YR2c" viewBox="0 0 24 24" focusable="false"><path d="M0 0h24v24H0z" fill="none"/><path d="M20 11H7.83l5.59-5.59L12 4l-8 8 8 8 1.41-1.41L7.83 13H20v-2z"/></svg></span></span></div></span><div class="Xb9hP"><input type="search" class="whsOnd zHQkBf" jsname="YPqjbf" autocomplete="off" tabindex="0" aria-label="Search this site" value="" aria-disabled="false" autofocus role="combobox" data-initial-value=""/><div jsname="LwH6nd" class="ndJi5d snByac" aria-hidden="true">Search this site</div></div><span jsslot class="A37UZe sxyYjd MQL3Ob"><div role="button" class="U26fgb mUbCce fKz7Od Kk06A M9Bg4d" jscontroller="VXdfxd" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;touchstart:p6p2H; touchmove:FwuNnf; touchend:yfqBxc(preventDefault=true); touchcancel:JMtRjd;" jsshadow jsname="pZn8Oc" aria-label="Clear search" aria-disabled="false" tabindex="0" data-tooltip="Clear search" data-tooltip-vertical-offset="-12" data-tooltip-horizontal-offset="0"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -12px"><svg class="fAUEUd" viewBox="0 0 24 24" focusable="false"><path d="M19 6.41L17.59 5 12 10.59 6.41 5 5 6.41 10.59 12 5 17.59 6.41 19 12 13.41 17.59 19 19 17.59 13.41 12z"></path><path d="M0 0h24v24H0z" fill="none"></path></svg></span></span></div></span><div class="i9lrp mIZh1c"></div><div jsname="XmnwAc" class="OabDMe cXrdqd"></div></div></div><div class="LXRPh"><div jsname="ty6ygf" class="ovnfwe Is7Fhb"></div></div></div></div></div></div></div><div jsname="tiN4bf"><style nonce="vLh4980RN5vBdrXWeOLkxw">.rrJNTc{opacity: 0;}.bKy5e{pointer-events: none; position: absolute; top: 0;}</style><div class="bKy5e"><div class="rrJNTc" tabindex="-1"><div class="VfPpkd-dgl2Hf-ppHlrf-sM5MNb" data-is-touch-wrapper='true'><button class="VfPpkd-LgbsSe VfPpkd-LgbsSe-OWXEXe-dgl2Hf LjDxcd XhPA0b LQeN7 WsSUlf jz7fPb" jscontroller="soHxf" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; touchstart:p6p2H; touchmove:FwuNnf; touchend:yfqBxc; touchcancel:JMtRjd; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;mlnRJb:fLiPzd;" data-idom-class="LjDxcd XhPA0b LQeN7 WsSUlf jz7fPb" jsname="z2EeY" tabindex="0"><div class="VfPpkd-Jh9lGc"></div><div class="VfPpkd-J1Ukfc-LhBDec"></div><div class="VfPpkd-RLmnJb"></div><span jsname="V67aGc" class="VfPpkd-vQzf8d">Skip to main content</span></button></div><div class="VfPpkd-dgl2Hf-ppHlrf-sM5MNb" data-is-touch-wrapper='true'><button class="VfPpkd-LgbsSe VfPpkd-LgbsSe-OWXEXe-dgl2Hf LjDxcd XhPA0b LQeN7 WsSUlf br90J" jscontroller="soHxf" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; touchstart:p6p2H; touchmove:FwuNnf; touchend:yfqBxc; touchcancel:JMtRjd; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;mlnRJb:fLiPzd;" data-idom-class="LjDxcd XhPA0b LQeN7 WsSUlf br90J" jsname="ilzYPe" tabindex="0"><div class="VfPpkd-Jh9lGc"></div><div class="VfPpkd-J1Ukfc-LhBDec"></div><div class="VfPpkd-RLmnJb"></div><span jsname="V67aGc" class="VfPpkd-vQzf8d">Skip to navigation</span></button></div></div></div><div class="M63kCb N63NQ"></div><div class="QZ3zWd"><div class="fktJzd AKpWA fOU46b yMcSQd Ly6Unf G9Qloe XeSM4 XxIgdb" jsname="UzWXSb" data-uses-custom-theme="true" data-legacy-theme-name="Testable" data-legacy-theme-font-kit="null" data-legacy-theme-color-kit="null" jscontroller="Md9ENb" jsaction="gsiSmd:Ffcznf;yj5fUd:cpPetb;HNXL3:q0Vyke;e2SXKd:IPDu5e;BdXpgd:nhk7K;rcuQ6b:WYd;"><header id="atIdViewHeader"><div class="BbxBP HP6J1d K5Zlne" jsname="WA9qLc" jscontroller="RQOkef" jsaction="rcuQ6b:JdcaS;MxH79b:JdcaS;VbOlFf:ywL4Jf;FaOgy:ywL4Jf; keydown:Hq2uPe; wheel:Ut4Ahc;" data-top-navigation="true" data-is-preview="false"><div class="DXsoRd YTv4We oNsfjf" role="button" tabindex="0" jsaction="click:LUvzV" jsname="z4Tpl" id="s9iPrd" aria-haspopup="true" aria-controls="yuynLe" aria-expanded="false"><svg class="wFCWne" viewBox="0 0 24 24" stroke="currentColor" jsname="B1n9ub" focusable="false"><g transform="translate(12,12)"><path class="hlJH0" d="M-9 -5 L9 -5" fill="none" stroke-width="2"/><path class="HBu6N" d="M-9 0 L9 0" fill="none" stroke-width="2"/><path class="cLAGQe" d="M-9 5 L9 5" fill="none" stroke-width="2"/></g></svg></div><nav class="JzO0Vc" jsname="ihoMLd" role="navigation" tabindex="-1" id="yuynLe" jsaction="transitionend:UD2r5"><a class="XMyrgf" href="/sysma"><img src="https://lh6.googleusercontent.com/3jWDM2SlEi4_TyTdB0hyOz1cHBnmLrJ-DJ1BF30uWawpHfa515IWFVYosPagGIdzqLQQEB53Hu_OKcWCjgIqA_8=w16383" class="r9CsCb" role="img" aria-label="Site home"></a><a class="Zjiec oNsfjf" href="/sysma"><span>SySMA</span></a><ul class="jYxBte Fpy8Db" tabindex="-1"><li jsname="ibnC6b" data-nav-level="1"><div class="PsKE7e r8s4j-R6PoUb IKA38e baH5ib oNsfjf lhZOrc" aria-current="true"><div class="I35ICb" jsaction="keydown:mPuKz(QwLHlb); click:vHQTA(QwLHlb);"><a class="aJHbb dk90Ob hDrhEe HlqNPb" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" aria-selected="true" href="/sysma" data-url="/sysma" data-type="1" data-level="1">SySMA</a></div></div></li><li jsname="ibnC6b" data-nav-level="1"><div class="PsKE7e r8s4j-R6PoUb IKA38e baH5ib oNsfjf"><div class="I35ICb" jsaction="keydown:mPuKz(QwLHlb); click:vHQTA(QwLHlb);"><a class="aJHbb dk90Ob hDrhEe HlqNPb" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/people" data-url="/people" data-type="1" data-level="1">People</a></div></div></li><li jsname="ibnC6b" data-nav-level="1"><div class="PsKE7e r8s4j-R6PoUb IKA38e baH5ib oNsfjf"><div class="I35ICb" jsaction="keydown:mPuKz(QwLHlb); click:vHQTA(QwLHlb);"><a class="aJHbb dk90Ob hDrhEe HlqNPb" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/projects" data-url="/projects" data-type="1" data-level="1">Projects</a></div></div></li><li jsname="ibnC6b" data-nav-level="1"><div class="PsKE7e r8s4j-R6PoUb IKA38e baH5ib oNsfjf"><div class="I35ICb" jsaction="keydown:mPuKz(QwLHlb); click:vHQTA(QwLHlb);"><a class="aJHbb dk90Ob hDrhEe HlqNPb" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/education" data-url="/education" data-type="1" data-level="1">Education</a></div></div></li><li jsname="ibnC6b" data-nav-level="1"><div class="PsKE7e r8s4j-R6PoUb IKA38e baH5ib oNsfjf"><div class="I35ICb" jsaction="keydown:mPuKz(QwLHlb); click:vHQTA(QwLHlb);"><a class="aJHbb dk90Ob hDrhEe HlqNPb" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/tech-transfer" data-url="/tech-transfer" data-type="1" data-level="1">Tech Transfer</a></div></div></li></ul></nav><div class="VLoccc K5Zlne QDWEj U8eYrb" jsname="rtFGi"><div class="Pvc6xe"><div jsname="I8J07e" class="TlfmSc YSH9J"><a class="GAuSPc" jsname="jIujaf" href="/sysma"><img src="https://lh6.googleusercontent.com/3jWDM2SlEi4_TyTdB0hyOz1cHBnmLrJ-DJ1BF30uWawpHfa515IWFVYosPagGIdzqLQQEB53Hu_OKcWCjgIqA_8=w16383" class="lzy1Td" role="img" aria-label="Site home" jsname="SwcDWb"><span class="QTKDff p46B7e">SySMA</span></a></div><nav class="plFg0c" jscontroller="HXO1uc" jsaction="rcuQ6b:rcuQ6b;MxH79b:CfS0pe;" id="WDxLfe" data-is-preview="false" style="visibility: hidden;" role="navigation" tabindex="-1"><ul jsname="waIgnc" class="K1Ci7d oXBWEc jYxBte"><li jsname="ibnC6b" data-nav-level="1" class="VsJjtf"><div class="PsKE7e qV4dIc Qrrb5 YSH9J M9vuGd" aria-current="true"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb dk90Ob jgXgSe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" aria-selected="true" href="/sysma" data-url="/sysma" data-type="1" data-level="1">SySMA</a></div></div><div class="rgLkl"></div></li><li jsname="ibnC6b" data-nav-level="1" class="VsJjtf"><div class="PsKE7e qV4dIc Qrrb5 YSH9J"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb dk90Ob jgXgSe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/people" data-url="/people" data-type="1" data-level="1">People</a></div></div><div class="rgLkl"></div></li><li jsname="ibnC6b" data-nav-level="1" class="VsJjtf"><div class="PsKE7e qV4dIc Qrrb5 YSH9J"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb dk90Ob jgXgSe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/projects" data-url="/projects" data-type="1" data-level="1">Projects</a></div></div><div class="rgLkl"></div></li><li jsname="ibnC6b" data-nav-level="1" class="VsJjtf"><div class="PsKE7e qV4dIc Qrrb5 YSH9J"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb dk90Ob jgXgSe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/education" data-url="/education" data-type="1" data-level="1">Education</a></div></div><div class="rgLkl"></div></li><li jsname="ibnC6b" data-nav-level="1" class="VsJjtf"><div class="PsKE7e qV4dIc Qrrb5 YSH9J"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb dk90Ob jgXgSe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/tech-transfer" data-url="/tech-transfer" data-type="1" data-level="1">Tech Transfer</a></div></div><div class="rgLkl"></div></li><li jsname="ibnC6b" data-nav-level="1" class="VsJjtf ZmrVpf oXBWEc" more-menu-item jsaction="mouseenter:Vx8Jlb; mouseleave:ysDRUd"><div class="PsKE7e qV4dIc Qrrb5 YSH9J"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb dk90Ob jgXgSe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" aria-expanded="false" aria-haspopup="true" data-level="1">More</a><div class="mBHtvb u5fiyc" role="presentation" title="Expand/Collapse" jsaction="click:oESVTe" jsname="ix0Hvc"><svg class="dvmRw" viewBox="0 0 24 24" stroke="currentColor" jsname="HIH2V" focusable="false"><g transform="translate(9.7,12) rotate(45)"><path class="K4B8Y" d="M-4.2 0 L4.2 0" stroke-width="2"/></g><g transform="translate(14.3,12) rotate(-45)"><path class="MrYMx" d="M-4.2 0 L4.2 0" stroke-width="2"/></g></svg></div></div></div><div class="oGuwee eWDljc RPRy1e Mkt3Tc" style="display:none;" jsname="QXE97" jsaction="transitionend:SJBdh" role="group"><ul class="VcS63b"><li jsname="ibnC6b" data-nav-level="2" class="ijMPi ZmrVpf" in-more-item><div class="PsKE7e IKA38e oNsfjf lhZOrc" aria-current="true"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb hDrhEe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" aria-selected="true" href="/sysma" data-url="/sysma" data-type="1" data-in-more-submenu="true" data-level="2">SySMA</a></div></div></li><li jsname="ibnC6b" data-nav-level="2" class="ijMPi ZmrVpf" in-more-item><div class="PsKE7e IKA38e oNsfjf"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb hDrhEe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/people" data-url="/people" data-type="1" data-in-more-submenu="true" data-level="2">People</a></div></div></li><li jsname="ibnC6b" data-nav-level="2" class="ijMPi ZmrVpf" in-more-item><div class="PsKE7e IKA38e oNsfjf"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb hDrhEe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/projects" data-url="/projects" data-type="1" data-in-more-submenu="true" data-level="2">Projects</a></div></div></li><li jsname="ibnC6b" data-nav-level="2" class="ijMPi ZmrVpf" in-more-item><div class="PsKE7e IKA38e oNsfjf"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb hDrhEe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/education" data-url="/education" data-type="1" data-in-more-submenu="true" data-level="2">Education</a></div></div></li><li jsname="ibnC6b" data-nav-level="2" class="ijMPi ZmrVpf" in-more-item><div class="PsKE7e IKA38e oNsfjf"><div class="I35ICb" jsaction="click:vHQTA(QwLHlb); keydown:mPuKz(QwLHlb);"><a class="aJHbb hDrhEe HlqNPb" jscontroller="yUHiM" jsaction="rcuQ6b:WYd;" jsname="QwLHlb" role="link" tabindex="0" data-navtype="1" href="/tech-transfer" data-url="/tech-transfer" data-type="1" data-in-more-submenu="true" data-level="2">Tech Transfer</a></div></div></li></ul></div></li></ul></nav><div jscontroller="gK4msf" class="RBEWZc" jsname="h04Zod" jsaction="rcuQ6b:WYd;JIbuQc:AT95Ub;VbOlFf:HgE5D;FaOgy:HgE5D;MxH79b:JdcaS;" data-side-navigation="false"><div role="button" class="U26fgb mUbCce fKz7Od iWs3gf Wdnjke M9Bg4d" jscontroller="VXdfxd" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;touchstart:p6p2H; touchmove:FwuNnf; touchend:yfqBxc(preventDefault=true); touchcancel:JMtRjd;" jsshadow jsname="R9oOZd" aria-label="Open search bar" aria-disabled="false" tabindex="0" data-tooltip="Open search bar" aria-expanded="false" data-tooltip-vertical-offset="-12" data-tooltip-horizontal-offset="0"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -12px"><svg class="vu8Pwe tCHXDc YSH9J" viewBox="0 0 24 24" focusable="false"><path d="M15.5 14h-.79l-.28-.27C15.41 12.59 16 11.11 16 9.5 16 5.91 13.09 3 9.5 3S3 5.91 3 9.5 5.91 16 9.5 16c1.61 0 3.09-.59 4.23-1.57l.27.28v.79l5 4.99L20.49 19l-4.99-5zm-6 0C7.01 14 5 11.99 5 9.5S7.01 5 9.5 5 14 7.01 14 9.5 11.99 14 9.5 14z"/><path d="M0 0h24v24H0z" fill="none"/></svg></span></span></div></div></div><div jsname="mADGA" class="zDUgLc"></div></div><div class="TxnWlb" jsname="BDdyze" jsaction="click:LUvzV"></div></div></header><div role="main" tabindex="-1" class="UtePc RCETm SwuGbc" dir="ltr"><section id="h.2ed596ed132d779d_519" class="yaqOZd cJgDec nyKByd" style=""><div class="IFuOkc" style="background-position: center center; background-image: url(https://lh5.googleusercontent.com/URfzjTIu04TbDCWYaN2tWRwgaazmMhmfLDBp99JfBujElhtDI38ubk-rKu4snUkMvR7NHw_TT6CobRIAED5NPCg=w16383); background-size: cover;"></div><div class="mYVXT"><div class="LS81yb VICjCf j5pSsc db35Fc" tabindex="-1"><div class="hJDwNd-AhqUyc-uQSCkd Ft7HRd-AhqUyc-uQSCkd purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c JNdkSc SQVYQc"><div class="JNdkSc-SmKAyb LkDMRd"><div class="" jscontroller="sGwD4d" jsaction="zXBUYb:zTPCnb;zQF9Uc:Qxe3nd;" jsname="F57UId"><div class="oKdM2c ZZyype Kzv0Me"><div id="h.2ed596ed132d779d_522" class="hJDwNd-AhqUyc-uQSCkd Ft7HRd-AhqUyc-uQSCkd jXK9ad D2fZ2 zu5uec OjCsFc dmUFtb wHaque g5GTcb"><div class="jXK9ad-SmKAyb"><div class="tyJCtd mGzaTb Depvyb baZpAe"><br><div id="h.qm0pmq495nqf" class="CobnVe yMxPgf aP9Z7e"></div><h2 id="h.qm0pmq495nqf_l" dir="ltr" class="zfr3Q JYVBee CDt4Ke " style="background-color: transparent; border-bottom: none; border-left: none; border-right: none; border-top: none; line-height: 1.2; margin-bottom: 0.0pt; margin-top: 0.0pt; padding-bottom: 0.0pt; padding-left: 0.0pt; padding-right: 0.0pt; padding-top: 0.0pt;"><div jscontroller="Ae65rd" jsaction="touchstart:UrsOsc; click:KjsqPd; focusout:QZoaZ; mouseover:y0pDld; mouseout:dq0hvd;fv1Rjc:jbFSOd;CrfLRd:SzACGe;" class="CjVfdc"><div class="PPhIP rviiZ" jsname="haAclf"><div role="presentation" class="U26fgb mUbCce fKz7Od LRAOtb Znu9nd M9Bg4d" jscontroller="mxS5xe" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;" jsshadow aria-describedby="h.qm0pmq495nqf_l" aria-label="Copy heading link" aria-disabled="false" data-tooltip="Copy heading link" aria-hidden="true" data-tooltip-position="top" data-tooltip-vertical-offset="12" data-tooltip-horizontal-offset="0"><a class="FKF6mc TpQm9d" href="#h.qm0pmq495nqf" aria-label="Copy heading link" jsname="hiK3ld" role="button" aria-describedby="h.qm0pmq495nqf_l"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -11px"><svg class="OUGEr QdAdhf" width="22px" height="22px" viewBox="0 0 24 24" fill="currentColor" focusable="false"><path d="M0 0h24v24H0z" fill="none"/><path d="M3.9 12c0-1.71 1.39-3.1 3.1-3.1h4V7H7c-2.76 0-5 2.24-5 5s2.24 5 5 5h4v-1.9H7c-1.71 0-3.1-1.39-3.1-3.1zM8 13h8v-2H8v2zm9-6h-4v1.9h4c1.71 0 3.1 1.39 3.1 3.1s-1.39 3.1-3.1 3.1h-4V17h4c2.76 0 5-2.24 5-5s-2.24-5-5-5z"/></svg></span></span></a></div></div><span class="CGqCRe C9DxTc " style="color: #ffffff; font-family: Inter, Arial; font-weight: 400; vertical-align: baseline;">Systems Security, Modeling and Analysis</span></div></h2><br><div id="h.npvomhoytjok" class="CobnVe yMxPgf aP9Z7e"></div><h2 id="h.npvomhoytjok_l" dir="ltr" class="zfr3Q JYVBee CDt4Ke " style="background-color: transparent; border-bottom: none; border-left: none; border-right: none; border-top: none; line-height: 1.2; margin-bottom: 0.0pt; margin-top: 0.0pt; padding-bottom: 0.0pt; padding-left: 0.0pt; padding-right: 0.0pt; padding-top: 0.0pt;"><div jscontroller="Ae65rd" jsaction="touchstart:UrsOsc; click:KjsqPd; focusout:QZoaZ; mouseover:y0pDld; mouseout:dq0hvd;fv1Rjc:jbFSOd;CrfLRd:SzACGe;" class="CjVfdc"><div class="PPhIP rviiZ" jsname="haAclf"><div role="presentation" class="U26fgb mUbCce fKz7Od LRAOtb Znu9nd M9Bg4d" jscontroller="mxS5xe" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;" jsshadow aria-describedby="h.npvomhoytjok_l" aria-label="Copy heading link" aria-disabled="false" data-tooltip="Copy heading link" aria-hidden="true" data-tooltip-position="top" data-tooltip-vertical-offset="12" data-tooltip-horizontal-offset="0"><a class="FKF6mc TpQm9d" href="#h.npvomhoytjok" aria-label="Copy heading link" jsname="hiK3ld" role="button" aria-describedby="h.npvomhoytjok_l"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -11px"><svg class="OUGEr QdAdhf" width="22px" height="22px" viewBox="0 0 24 24" fill="currentColor" focusable="false"><path d="M0 0h24v24H0z" fill="none"/><path d="M3.9 12c0-1.71 1.39-3.1 3.1-3.1h4V7H7c-2.76 0-5 2.24-5 5s2.24 5 5 5h4v-1.9H7c-1.71 0-3.1-1.39-3.1-3.1zM8 13h8v-2H8v2zm9-6h-4v1.9h4c1.71 0 3.1 1.39 3.1 3.1s-1.39 3.1-3.1 3.1h-4V17h4c2.76 0 5-2.24 5-5s-2.24-5-5-5z"/></svg></span></span></a></div></div><span class="CGqCRe C9DxTc " style="background-color: #f1c22e; color: #ffffff; font-variant: normal; vertical-align: baseline;"> </span><span class="CGqCRe C9DxTc " style="background-color: #f1c22e; color: #ffffff; vertical-align: baseline;">SySMA</span><span class="CGqCRe C9DxTc " style="background-color: #f1c22e; color: #ffffff; font-variant: normal; vertical-align: baseline;"> </span></div></h2><br></div></div></div></div></div></div></div></div></div></section><section id="h.2ed596ed132d779d_523" class="yaqOZd"><div class="IFuOkc"></div><div class="mYVXT"><div class="LS81yb VICjCf j5pSsc db35Fc" tabindex="-1"><div class="hJDwNd-AhqUyc-c5RTEf Ft7HRd-AhqUyc-c5RTEf purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c JNdkSc SQVYQc"><div class="JNdkSc-SmKAyb LkDMRd"><div class="" jscontroller="sGwD4d" jsaction="zXBUYb:zTPCnb;zQF9Uc:Qxe3nd;" jsname="F57UId"><div class="oKdM2c ZZyype Kzv0Me"><div id="h.2ed596ed132d779d_526" class="hJDwNd-AhqUyc-c5RTEf Ft7HRd-AhqUyc-c5RTEf purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c jXK9ad D2fZ2 zu5uec OjCsFc dmUFtb wHaque g5GTcb"><div class="jXK9ad-SmKAyb"><div class="tyJCtd mGzaTb Depvyb baZpAe"><div id="h.o0yvh2ecaz6k" class="CobnVe yMxPgf aP9Z7e"></div><h2 id="h.o0yvh2ecaz6k_l" dir="ltr" class="zfr3Q JYVBee CDt4Ke " style="line-height: 1.2; text-align: left;"><div jscontroller="Ae65rd" jsaction="touchstart:UrsOsc; click:KjsqPd; focusout:QZoaZ; mouseover:y0pDld; mouseout:dq0hvd;fv1Rjc:jbFSOd;CrfLRd:SzACGe;" class="CjVfdc"><div class="PPhIP rviiZ" jsname="haAclf"><div role="presentation" class="U26fgb mUbCce fKz7Od LRAOtb Znu9nd M9Bg4d" jscontroller="mxS5xe" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;" jsshadow aria-describedby="h.o0yvh2ecaz6k_l" aria-label="Copy heading link" aria-disabled="false" data-tooltip="Copy heading link" aria-hidden="true" data-tooltip-position="top" data-tooltip-vertical-offset="12" data-tooltip-horizontal-offset="0"><a class="FKF6mc TpQm9d" href="#h.o0yvh2ecaz6k" aria-label="Copy heading link" jsname="hiK3ld" role="button" aria-describedby="h.o0yvh2ecaz6k_l"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -11px"><svg class="OUGEr QdAdhf" width="22px" height="22px" viewBox="0 0 24 24" fill="currentColor" focusable="false"><path d="M0 0h24v24H0z" fill="none"/><path d="M3.9 12c0-1.71 1.39-3.1 3.1-3.1h4V7H7c-2.76 0-5 2.24-5 5s2.24 5 5 5h4v-1.9H7c-1.71 0-3.1-1.39-3.1-3.1zM8 13h8v-2H8v2zm9-6h-4v1.9h4c1.71 0 3.1 1.39 3.1 3.1s-1.39 3.1-3.1 3.1h-4V17h4c2.76 0 5-2.24 5-5s-2.24-5-5-5z"/></svg></span></span></a></div></div><span class="yAbvcd C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-variant: normal; font-weight: 900; vertical-align: baseline;">About</span><span class="yAbvcd C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-weight: 900; vertical-align: baseline;"> us</span><span class="yAbvcd C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-variant: normal; font-weight: 900; vertical-align: baseline;"> </span></div></h2></div></div></div></div></div></div></div><div class="hJDwNd-AhqUyc-Clt0zb Ft7HRd-AhqUyc-Clt0zb purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c JNdkSc SQVYQc yYI8W HQwdzb"><div class="JNdkSc-SmKAyb LkDMRd"><div class="" jscontroller="sGwD4d" jsaction="zXBUYb:zTPCnb;zQF9Uc:Qxe3nd;" jsname="F57UId"><div class="oKdM2c ZZyype Kzv0Me"><div id="h.2ed596ed132d779d_529" class="hJDwNd-AhqUyc-Clt0zb Ft7HRd-AhqUyc-Clt0zb jXK9ad D2fZ2 zu5uec OjCsFc dmUFtb"><div class="jXK9ad-SmKAyb"><div class="tyJCtd mGzaTb Depvyb baZpAe"><p dir="ltr" class="zfr3Q CDt4Ke " style="line-height: 1.5; text-align: justify;"><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 13.999999999999998pt; font-weight: 700; vertical-align: baseline;">Mission</span></p><p dir="ltr" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 45.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Systems Security Modelling and Analysis (SySMA) is </span><span class="C9DxTc " style="color: #152c47;">the </span><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Research Unit at IMT Lucca that focuses on computer science. </span><span class="C9DxTc " style="color: #152c47; font-variant: normal;"><br></span><span class="C9DxTc " style="color: #152c47; font-variant: normal;"><br></span><span class="C9DxTc " style="color: #152c47; font-variant: normal;">SySMA deals with languages and techniques for the analysis, evaluation, and verification of systems. The SySMA unit goal is to </span><span class="C9DxTc " style="color: #152c47;">use</span><span class="C9DxTc " style="color: #152c47; font-variant: normal;"> formal methods as methodological and automatic tools for </span><span class="C9DxTc " style="color: #152c47;">developing</span><span class="C9DxTc " style="color: #152c47; font-variant: normal;"> high-quality, correct software and systems that are secure, fast, usable, reusable, maintainable, and modular. </span><span class="C9DxTc " style="color: #152c47; font-variant: normal;"><br></span><span class="C9DxTc " style="color: #152c47; font-variant: normal;"><br></span><span class="C9DxTc " style="color: #152c47; font-variant: normal;">We</span><span class="C9DxTc " style="color: #152c47; font-variant: normal;"> also study algorithms and systems to protect the security and integrity of computer systems, the information they store, and the people who use them. We make large usage of formal methods as enabling technology also for the security-by-design development model.</span></p></div></div></div></div><div class="oKdM2c ZZyype"><div id="h.34c657675b204b1f_17" class="hJDwNd-AhqUyc-Clt0zb Ft7HRd-AhqUyc-Clt0zb jXK9ad D2fZ2 zu5uec wHaque g5GTcb"><div class="jXK9ad-SmKAyb"><div class="tyJCtd mGzaTb Depvyb baZpAe"><p dir="ltr" class="zfr3Q CDt4Ke " style="line-height: 1.5; text-align: justify;"><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 13.999999999999998pt; font-variant: normal; font-weight: 700; vertical-align: baseline;">Research Topics</span></p><ul class="n8H08c UVNKR " style="list-style-type: square; margin-left: 0; margin-right: 0; padding: 0;"><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Artificial Intelligence</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Concurrency theory</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Cybersecurity</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Data science</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Machine learning</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Modeling and simulation</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Programming languages</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Software engineering</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Software and systems verification </span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 60.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-variant: normal;">Software performance modeling and control</span></p></li></ul></div></div></div></div></div></div></div></div></div></section><section id="h.4ac6e5bcf2fc977c_25" class="yaqOZd"><div class="IFuOkc"></div><div class="mYVXT"><div class="LS81yb VICjCf j5pSsc db35Fc" tabindex="-1"><div class="hJDwNd-AhqUyc-c5RTEf Ft7HRd-AhqUyc-c5RTEf purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c JNdkSc SQVYQc"><div class="JNdkSc-SmKAyb LkDMRd"><div class="" jscontroller="sGwD4d" jsaction="zXBUYb:zTPCnb;zQF9Uc:Qxe3nd;" jsname="F57UId"><div class="oKdM2c ZZyype Kzv0Me"><div id="h.4ac6e5bcf2fc977c_28" class="hJDwNd-AhqUyc-c5RTEf Ft7HRd-AhqUyc-c5RTEf purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c jXK9ad D2fZ2 zu5uec OjCsFc dmUFtb wHaque g5GTcb"><div class="jXK9ad-SmKAyb"><div class="tyJCtd mGzaTb Depvyb baZpAe"><div id="h.lp5u5cxx1yfq" class="CobnVe yMxPgf aP9Z7e"></div><h2 id="h.lp5u5cxx1yfq_l" dir="ltr" class="zfr3Q JYVBee CDt4Ke " style="line-height: 1.2; text-align: left;"><div jscontroller="Ae65rd" jsaction="touchstart:UrsOsc; click:KjsqPd; focusout:QZoaZ; mouseover:y0pDld; mouseout:dq0hvd;fv1Rjc:jbFSOd;CrfLRd:SzACGe;" class="CjVfdc"><div class="PPhIP rviiZ" jsname="haAclf"><div role="presentation" class="U26fgb mUbCce fKz7Od LRAOtb Znu9nd M9Bg4d" jscontroller="mxS5xe" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;" jsshadow aria-describedby="h.lp5u5cxx1yfq_l" aria-label="Copy heading link" aria-disabled="false" data-tooltip="Copy heading link" aria-hidden="true" data-tooltip-position="top" data-tooltip-vertical-offset="12" data-tooltip-horizontal-offset="0"><a class="FKF6mc TpQm9d" href="#h.lp5u5cxx1yfq" aria-label="Copy heading link" jsname="hiK3ld" role="button" aria-describedby="h.lp5u5cxx1yfq_l"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -11px"><svg class="OUGEr QdAdhf" width="22px" height="22px" viewBox="0 0 24 24" fill="currentColor" focusable="false"><path d="M0 0h24v24H0z" fill="none"/><path d="M3.9 12c0-1.71 1.39-3.1 3.1-3.1h4V7H7c-2.76 0-5 2.24-5 5s2.24 5 5 5h4v-1.9H7c-1.71 0-3.1-1.39-3.1-3.1zM8 13h8v-2H8v2zm9-6h-4v1.9h4c1.71 0 3.1 1.39 3.1 3.1s-1.39 3.1-3.1 3.1h-4V17h4c2.76 0 5-2.24 5-5s-2.24-5-5-5z"/></svg></span></span></a></div></div><span class="pGGe1e C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-weight: 900; vertical-align: baseline;">Recent publications</span></div></h2></div></div></div></div></div></div></div><div class="hJDwNd-AhqUyc-Clt0zb Ft7HRd-AhqUyc-Clt0zb purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c JNdkSc SQVYQc"><div class="JNdkSc-SmKAyb LkDMRd"><div class="" jscontroller="sGwD4d" jsaction="zXBUYb:zTPCnb;zQF9Uc:Qxe3nd;" jsname="F57UId"><div class="oKdM2c ZZyype Kzv0Me"><div id="h.4ac6e5bcf2fc977c_31" class="hJDwNd-AhqUyc-Clt0zb Ft7HRd-AhqUyc-Clt0zb jXK9ad D2fZ2 zu5uec OjCsFc dmUFtb wHaque g5GTcb"><div class="jXK9ad-SmKAyb"><div class="tyJCtd mGzaTb Depvyb baZpAe"><ul class="n8H08c UVNKR " style="list-style-type: square; margin-left: 0; margin-right: 0; padding: 0;"><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">L. Di Stefano, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">R. De Nicola</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, O. Inverso : Verification of Distributed Systems via Sequential Emulation. ACM Trans. Softw. Eng. Methodol. 31(3): 37:1-37:41 (2022).</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">S. Soderi, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">R. De Nicola</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, 6G Networks Physical Layer Security Using RGB Visible Light Communications. IEEE Access 10: 5482-5496 (2022).</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">G. Caldarelli, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">R. De Nicola</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, M. Petrocchi, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">M. Pratelli</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;"> , F. Saracco: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy. EPJ Data Sci. 10(1): 34 (2021).</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">L. Faggi,</span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;"> A. Betti, </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">D. Zanca, S. Melacci, M. Gori. "Local propagation of visual stimuli in focus of attention". Neurocomputing 560, 2023. doi: 10.1016/j.neucom.2023.126775.</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="background-color: transparent; border-bottom: none; border-left: none; border-right: none; border-top: none; line-height: 1.38; margin-bottom: 12.0pt; margin-left: 0.0pt; margin-top: 12.0pt; padding-bottom: 0.0pt; padding-left: 0.0pt; padding-right: 0.0pt; padding-top: 0.0pt; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">A. Betti</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, M. Casoni, M. Gori, S. Marullo, S. Melacci and M. Tiezzi. "Neural Time-Reversed Generalized Riccati Equation". </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">Proceedings of the AAAI Conference on Artificial Intelligence, 38(8) </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-variant: normal; vertical-align: baseline;">(2024)</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, 7935-7942</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">. doi: 10.1609/aaai.v38i8.28630</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="background-color: transparent; border-bottom: none; border-left: none; border-right: none; border-top: none; line-height: 1.38; margin-bottom: 12.0pt; margin-left: 0.0pt; margin-top: 12.0pt; padding-bottom: 0.0pt; padding-left: 0.0pt; padding-right: 0.0pt; padding-top: 0.0pt; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">M. Tiezzi, S. Marullo, L. Faggi, E. Meloni, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">A. Betti</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, S. Melacci. "Stochastic Coherence Over Attention Trajectory For Continuous Learning In Video Streams". Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI-22, pp. 3480-3486 (2022). doi: 10.24963/ijcai.2022/483.</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">S. Soderi</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;"> and </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">R. De Nicola</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">. “6G Networks Physical Layer Security Using RGB Visible Light Communications”. In: IEEE Access 10 (2022), pp. 5482–5496. doi: 10.1109/access.2021.3139456.</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">S. Soderi</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, R. Colelli, F. Turrin, F. Pascucci, and M. Conti. “SENECAN: Secure KEy DistributioN OvEr CAN Through Watermarking and Jamming”. In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 3 (2022), pp. 1–15. doi: 10.1109/TDSC.2022.3179562.</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">C. Perini Brogi</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">. Curry-Howard-Lambek Correspondence for Intuitionistic Belief. </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-style: italic; vertical-align: baseline;">Studia Logica 109 </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">(6), pp. 1441–1461 (2021). doi: 10.1007/s11225-021-09952-3.</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">S. Soderi</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, A. Brighente, F. Turrin, and M. Conti. “VLC Physical Layer Security through</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;"><br></span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">RIS-aided Jamming Receiver for 6G Wireless Networks”. In: 2022 19th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON). New York: IEEE, 2022, pp. 370– 378. isbn: 978-1-6654-8643-9. doi: 10.1109/secon55815.2022.9918547.</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-variant: normal; vertical-align: baseline;">M. Maggesi, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-variant: normal; font-weight: 700; vertical-align: baseline;">C. Perini Brogi</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">.</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-variant: normal; vertical-align: baseline;"> A Formal Proof of Modal Completeness for Provability Logic. In 12th International Conference on Interactive Theorem Proving (ITP 2021). Leibniz International Proceedings in Informatics (LIPIcs), Volume 193, pp. 26:1-26:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021). doi: 10.4230/LIPIcs.ITP.2021.26</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">.</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-variant: normal; vertical-align: baseline;">C</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">. </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-variant: normal; vertical-align: baseline;">Pugliese, F</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">.</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-variant: normal; vertical-align: baseline;"> Lettich, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">F. </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-variant: normal; font-weight: 700; vertical-align: baseline;">Pinelli</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-variant: normal; vertical-align: baseline;">, C</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">.</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-variant: normal; vertical-align: baseline;"> Renso</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">. Summarizing Trajectories Using Semantically Enriched Geographical Context, In Proceedings of the 31st ACM International Conference on Advances in Geographic Information Systems (2023). doi: 10.1145/3589132.3625587</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">C. Pugliese, F. Lettich, C. Renso, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-variant: normal; font-weight: 700; vertical-align: baseline;">F. Pinelli</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-variant: normal; vertical-align: baseline;">. Semantic Enrichment of Mobility Data: A Comprehensive Methodology and the MAT-BUILDER System. In </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">IEEE Access 11: pp. 90857-90875 (2023). doi: 10.1109/ACCESS.2023.3307824</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">G.Costa</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">F. Pinelli</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">S. Soderi</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">, G. Tolomei. Turning Federated Learning Systems Into Covert Channels. In IEEE Access 10 (2022), pp.130642-130656. doi: 10.1109/ACCESS.2022.3229124</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">M. Maggesi, </span><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">C. Perini Brogi</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">. Mechanising Gödel–Löb Provability Logic in HOL Light. </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; font-style: italic; vertical-align: baseline;">Journal of Automated Reasoning 67, 29</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;"> (2023). doi: 10.1007/s10817-023-09677-z</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="line-height: 1.5; margin-left: 0.0pt; padding-left: 0.0pt; text-align: justify; text-indent: 0.0pt;"><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">G. Garbi, </span><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">E. Incerto</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">, </span><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">M. Tribastone</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">. μP: A Development Framework for Predicting Performance of Microservices by Design. IEEE 16th International Conference on Cloud Computing (</span><span class="C9DxTc " style="font-size: 10.0pt; font-variant: normal; vertical-align: baseline;">2023</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">) (pp. 178-188).</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="margin-left: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt;"><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">E. Incerto</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">, </span><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">R. Pizziol</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">, </span><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">M. Tribastone</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">. μOpt: An Efficient Optimal Autoscaler for Microservice Applications. IEEE International Conference on Autonomic Computing and Self-Organizing Systems (2023) (pp. 67-76).</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="margin-left: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt;"><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">F. Randone</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">, L. Bortolussi, E. Incerto, </span><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">M. Tribastone</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">. Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures. Proceedings of the ACM on Programming Languages, (2024), (pp. 1882-1912).</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="margin-left: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt;"><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">M. Busi, J. Noorman, J. Van Bulck, </span><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">L. Galletta</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">, P. Degano, J. T. Mühlberg, F. Piessens. Securing interruptible enclaved execution on small microprocessors. ACM Transactions on Programming Languages and Systems 43:(3), (2021), doi: 10.1145/3470534</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="margin-left: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt;"><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">L. Ceragioli</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">, </span><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">L. Galletta</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">, P. Degano, D. Basin. IFCIL: An Information Flow Configuration Language for SELinux. IEEE 35th Computer Security Foundations Symposium (CSF), 2022, pp. 243-259, doi: 10.1109/CSF54842.2022.9919690</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="margin-left: 0.0pt; padding-left: 0.0pt; text-indent: 0.0pt;"><span class="C9DxTc " style="font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">L. Galletta</span><span class="C9DxTc " style="font-size: 10.0pt; vertical-align: baseline;">, C. Laneve, I. Mercanti, A. Veschetti. 2023. Resilience of Hybrid Casper Under Varying Values of Parameters. ACM Distributed Ledger Technologies. 2(1),(2023), doi:10.1145/3571587</span></p></li><li dir="ltr" class="zfr3Q TYR86d eD0Rn " style="margin-left: 15.0pt;"><p dir="ltr" role="presentation" class="zfr3Q CDt4Ke " style="background-color: transparent; border-bottom: none; border-left: none; border-right: none; border-top: none; line-height: 1.38; margin-bottom: 0.0pt; margin-left: 0.0pt; margin-top: 0.0pt; padding-bottom: 0.0pt; padding-left: 0.0pt; padding-right: 0.0pt; padding-top: 0.0pt; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #152c47; font-family: Inter, Arial; font-size: 10.0pt; font-weight: 700; vertical-align: baseline;">L. Ceragioli</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">,</span><a class="XqQF9c" href="https://dblp.uni-trier.de/pid/g/FabioGadducci.html" target="_blank" style="color: inherit; text-decoration: none;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;"> </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">F. Gadducci</span></a><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">,</span><a class="XqQF9c" href="https://dblp.uni-trier.de/pid/360/6155.html" target="_blank" style="color: inherit; text-decoration: none;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;"> G. Lomurno</span></a><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">,</span><a class="XqQF9c" href="https://dblp.uni-trier.de/pid/65/11243.html" target="_blank" style="color: inherit; text-decoration: none;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;"> G. Tedeschi</span></a><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">: Quantum Bisimilarity via Barbs and Contexts: Curbing the Power of Non-deterministic Observers</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">.</span><a class="XqQF9c" href="https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#CeragioliGLT24" target="_blank" style="color: inherit; text-decoration: none;"><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;"> Proc. ACM Program. Lang. 8 (POPL)</span></a><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;"> </span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">(2024). doi:</span><span class="C9DxTc " style="color: #152c47; font-size: 10.0pt; vertical-align: baseline;">10.1145/3632885</span></p></li></ul></div></div></div></div></div></div></div></div></div></section></div><div class="Xpil1b xgQ6eb"></div><footer jsname="yePe5c"><section id="h.c8d42699d953ae3_79" class="yaqOZd lQAHbd"><div class="IFuOkc"></div><div class="mYVXT"><div class="LS81yb VICjCf j5pSsc db35Fc" tabindex="-1"><div class="hJDwNd-AhqUyc-uQSCkd Ft7HRd-AhqUyc-uQSCkd purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c JNdkSc SQVYQc"><div class="JNdkSc-SmKAyb LkDMRd"><div class="" jscontroller="sGwD4d" jsaction="zXBUYb:zTPCnb;zQF9Uc:Qxe3nd;" jsname="F57UId"><div class="oKdM2c ZZyype Kzv0Me"><div id="h.c8d42699d953ae3_82" class="hJDwNd-AhqUyc-uQSCkd Ft7HRd-AhqUyc-uQSCkd jXK9ad D2fZ2 zu5uec OjCsFc dmUFtb wHaque g5GTcb"><div class="jXK9ad-SmKAyb"><div class="tyJCtd mGzaTb Depvyb baZpAe"><p dir="ltr" class="zfr3Q CDt4Ke " style="line-height: 1.44; margin-left: 53.0pt; margin-right: 53.0pt; padding-left: 0.0pt; text-align: center; text-indent: 0.0pt;"><span class="C9DxTc " style="">Con</span><a class="XqQF9c" href="https://www.imtlucca.it/" target="_blank" style="color: inherit; text-decoration: none;"><span class="C9DxTc " style="color: #ff8300; font-family: Inter, Arial; font-size: 13.999999999999998pt; font-weight: 700; text-decoration: underline; vertical-align: baseline;">imtlucca.it</span></a><span class="C9DxTc " style="color: #ff8300; font-family: Inter, Arial; font-size: 13.999999999999998pt; font-weight: 700; vertical-align: baseline;"> | Contact us at </span><a class="XqQF9c" href="mailto:sysma@imtlucca.it" target="_blank" style="color: inherit; text-decoration: none;"><span class="C9DxTc aw5Odc " style="font-family: Inter, Arial; font-size: 13.999999999999998pt; font-weight: 700; text-decoration: underline; vertical-align: baseline;">sysma@imtlucca.it</span></a></p><br></div></div></div></div></div></div></div></div></div></section><section id="h.5f20e12daad11929_4" class="yaqOZd WxWicb lQAHbd"><div class="IFuOkc"></div><div class="mYVXT"><div class="LS81yb VICjCf j5pSsc db35Fc" tabindex="-1"><div class="hJDwNd-AhqUyc-uQSCkd Ft7HRd-AhqUyc-uQSCkd purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c JNdkSc SQVYQc"><div class="JNdkSc-SmKAyb LkDMRd"><div class="" jscontroller="sGwD4d" jsaction="zXBUYb:zTPCnb;zQF9Uc:Qxe3nd;" jsname="F57UId"><div class="oKdM2c ZZyype Kzv0Me"><div id="h.5f20e12daad11929_7" class="hJDwNd-AhqUyc-uQSCkd Ft7HRd-AhqUyc-uQSCkd jXK9ad D2fZ2 zu5uec OjCsFc dmUFtb wHaque g5GTcb"><div class="jXK9ad-SmKAyb"><div class="tyJCtd baZpAe"><div class="iwQgFb" role="presentation"></div></div></div></div></div></div></div></div></div></div></section><section id="h.25545b1bf4148645_72" class="yaqOZd lQAHbd"><div class="IFuOkc"></div><div class="mYVXT"><div class="LS81yb VICjCf j5pSsc db35Fc" tabindex="-1"><div class="hJDwNd-AhqUyc-uQSCkd Ft7HRd-AhqUyc-uQSCkd purZT-AhqUyc-II5mzb ZcASvf-AhqUyc-II5mzb pSzOP-AhqUyc-qWD73c Ktthjf-AhqUyc-qWD73c JNdkSc SQVYQc"><div class="JNdkSc-SmKAyb LkDMRd"><div class="" jscontroller="sGwD4d" jsaction="zXBUYb:zTPCnb;zQF9Uc:Qxe3nd;" jsname="F57UId"><div class="oKdM2c ZZyype Kzv0Me"><div id="h.25545b1bf4148645_75" class="hJDwNd-AhqUyc-uQSCkd Ft7HRd-AhqUyc-uQSCkd jXK9ad D2fZ2 zu5uec OjCsFc dmUFtb wHaque g5GTcb"><div class="jXK9ad-SmKAyb"><div class="tyJCtd mGzaTb Depvyb baZpAe"><p dir="ltr" class="zfr3Q CDt4Ke " style="line-height: 1.44; margin-left: 53.0pt; margin-right: 53.0pt; padding-left: 0.0pt; text-align: center; text-indent: 0.0pt;"><span class="C9DxTc " style="color: #ffffff; font-family: Montserrat, Arial; font-size: 10.0pt; font-variant: normal; font-weight: 400; vertical-align: baseline;">© Copyright IMT School for Advanced Studies Lucca</span></p></div></div></div></div></div></div></div></div></div></section></footer><div jscontroller="j1RDQb" jsaction="rcuQ6b:rcuQ6b;MxH79b:JdcaS;FaOgy:XuHpsb;" class="dZA9kd ynRLnc" data-last-updated-at-time="1720246651300" data-is-preview="false"><div role="button" class="U26fgb JRtysb WzwrXb I12f0b K2mXPb zXBiaf ynRLnc" jscontroller="iSvg6e" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;touchstart:p6p2H; touchmove:FwuNnf; touchend:yfqBxc(preventDefault=true); touchcancel:JMtRjd;;keydown:I481le;" jsshadow jsname="Bg3gkf" aria-label="Site actions" aria-disabled="false" tabindex="0" aria-haspopup="true" aria-expanded="false" data-menu-corner="bottom-start" data-anchor-corner="top-start"><div class="NWlf3e MbhUzd" jsname="ksKsZd"></div><span jsslot class="MhXXcc oJeWuf"><span class="Lw7GHd snByac"><svg width="24" height="24" viewBox="0 0 24 24" focusable="false" class=" NMm5M"><path d="M11 17h2v-6h-2v6zm1-15C6.48 2 2 6.48 2 12s4.48 10 10 10 10-4.48 10-10S17.52 2 12 2zm0 18c-4.41 0-8-3.59-8-8s3.59-8 8-8 8 3.59 8 8-3.59 8-8 8zM11 9h2V7h-2v2z"/></svg></span></span><div jsname="xl07Ob" style="display:none" aria-hidden="true"><div class="JPdR6b hVNH5c" jscontroller="uY3Nvd" jsaction="IpSVtb:TvD9Pc;fEN2Ze:xzS4ub;frq95c:LNeFm;cFpp9e:J9oOtd; click:H8nU8b; mouseup:H8nU8b; keydown:I481le; keypress:Kr2w4b; blur:O22p3e; focus:H8nU8b" role="menu" tabindex="0" style="position:fixed"><div class="XvhY1d" jsaction="mousedown:p8EH2c; touchstart:p8EH2c;"><div class="JAPqpe K0NPx"><span jsslot class="z80M1 FeRvI" jsaction="click:o6ZaF(preventDefault=true); mousedown:lAhnzb; mouseup:Osgxgf; mouseenter:SKyDAe; mouseleave:xq3APb;touchstart:jJiBRc; touchmove:kZeBdd; touchend:VfAz8" jsname="j7LFlb" data-disabled-tooltip="Report abuse is not available in preview mode" aria-label="Report abuse" role="menuitem" tabindex="-1"><div class="aBBjbd MbhUzd" jsname="ksKsZd"></div><div class="uyYuVb oJeWuf" jscontroller="HYv29e" jsaction="JIbuQc:dQ6O0c;" jsname="lV5oke" data-abuse-proto="%.@.null,null,"https://sites.google.com/imtlucca.it/sysma"]" data-abuse-reporting-widget-proto="%.@.null,"https://sites.google.com/imtlucca.it/sysma"]"><div class="jO7h3c">Report abuse</div></div></span><span jsslot class="z80M1 FeRvI" jsaction="click:o6ZaF(preventDefault=true); mousedown:lAhnzb; mouseup:Osgxgf; mouseenter:SKyDAe; mouseleave:xq3APb;touchstart:jJiBRc; touchmove:kZeBdd; touchend:VfAz8" jsname="j7LFlb" aria-label="Page details" role="menuitem" tabindex="-1"><div class="aBBjbd MbhUzd" jsname="ksKsZd"></div><div class="uyYuVb oJeWuf" jsaction="JIbuQc:hriXLd;" jsname="Rg8K2c"><div class="jO7h3c">Page details</div></div></span></div></div></div></div></div></div><div jscontroller="j1RDQb" jsaction="focusin:gBxDVb(srlkmf); focusout:zvXhGb(srlkmf); click:ro2KTd(psdQ5e);JIbuQc:DSypkd(Bg3gkf);MxH79b:JdcaS;rcuQ6b:rcuQ6b;" class="LqzjUe ynRLnc" data-last-updated-at-time="1720246651300" data-is-preview="false"><div jsname="psdQ5e" class="Q0cSn"></div><div jsname="bN97Pc" class="hBW7Hb"><div role="button" class="U26fgb mUbCce fKz7Od kpPxtd QMuaBc M9Bg4d" jscontroller="VXdfxd" jsaction="click:cOuCgd; mousedown:UX7yZ; mouseup:lbsD7e; mouseenter:tfO1Yc; mouseleave:JywGue; focus:AHmuwe; blur:O22p3e; contextmenu:mg9Pef;touchstart:p6p2H; touchmove:FwuNnf; touchend:yfqBxc(preventDefault=true); touchcancel:JMtRjd;" jsshadow jsname="Bg3gkf" aria-label="Site actions" aria-disabled="false" tabindex="-1" aria-hidden="true"><div class="VTBa7b MbhUzd" jsname="ksKsZd"></div><span jsslot class="xjKiLb"><span class="Ce1Y1c" style="top: -12px"><svg width="24" height="24" viewBox="0 0 24 24" focusable="false" class=" NMm5M"><path d="M11 17h2v-6h-2v6zm1-15C6.48 2 2 6.48 2 12s4.48 10 10 10 10-4.48 10-10S17.52 2 12 2zm0 18c-4.41 0-8-3.59-8-8s3.59-8 8-8 8 3.59 8 8-3.59 8-8 8zM11 9h2V7h-2v2z"/></svg></span></span></div><div jsname="srlkmf" class="hUphyc"><div class="YkaBSd"><div class="iBkmkf"><span>Page updated</span> <span jsname="CFIm1b" class="dji00c" jsaction="AHmuwe:eGiyHb; mouseover:eGiyHb;" tabindex="0" role="contentinfo"></span></div></div><div class="YkaBSd" jscontroller="HYv29e" jsaction="click:dQ6O0c;" data-abuse-proto="%.@.null,null,"https://sites.google.com/imtlucca.it/sysma"]" data-abuse-reporting-widget-proto="%.@.null,"https://sites.google.com/imtlucca.it/sysma"]"><div role="button" class="U26fgb kpPxtd J7BuEb" jsshadow aria-label="Report abuse" aria-disabled="false" tabindex="0">Report abuse</div></div></div></div></div></div></div></div><script nonce="fRCFcSyp6C9tAJReM-yQBA">DOCS_timing['cov']=new Date().getTime();</script><script src="https://www.gstatic.com/_/atari/_/js/k=atari.vw.en_US.fw_mAcuwUyE.O/am=MBiA/d=1/rs=AGEqA5lwNXFYaHUUDGYHiMqlOO36DqQAOw/m=view" id="base-js" nonce="fRCFcSyp6C9tAJReM-yQBA"></script></div></div><div jscontroller="YV8yqd" jsaction="rcuQ6b:npT2md"></div></body></html>