01186nam 2200349 450 99628011420331620230814224750.01-5386-6544-1(CKB)4100000007005842(WaSeSS)IndRDA00121982(EXLCZ)99410000000700584220200415d2018 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierIVSW 2018 2018 IEEE 3rd International Verification and Security Workshop : 2-4 July 2018, Spain /Institute of Electrical and Electronics EngineersPiscataway, New Jersey :Institute of Electrical and Electronics Engineers,2018.1 online resource (ii, 102 pages)1-5386-6545-X Electronic systemsSecurity measuresCongressesComputer softwareVerificationCongressesElectronic systemsSecurity measuresComputer softwareVerification005.14WaSeSSWaSeSSPROCEEDING996280114203316IVSW 20182539672UNISA