%PDF-1.7
%
1 0 obj
<>stream
application/pdfIEEE2019 IEEE 32nd Computer Security Foundations Symposium (CSF);2019; ; ;10.1109/CSF.2019.00011Security ProtocolsAutomated DeductionDecision ProcedureComputational IndistinguishabilityDecidability of a Sound Set of Inference Rules for Computational IndistinguishabilityAdrien Koutsos
2019 IEEE 32nd Computer Security Foundations Symposium (CSF)48 Jun 201910.1109/CSF.2019.000114813
endstream
endobj
2 0 obj
<>
endobj
3 0 obj
<>stream
htXy\SgNR%ގܫVڪuߪ .@BH $!#A@A@>n:mǩ]tK_}op:f }{sy97B8P(7le<_eth~6W|;J*3B~;?}sh%Wӯ{EY{Ji<\>
vvϝ7omLNi.^|44QF^jmL\cX #K
rBK7;Y-fFQKB0ve\ϕ*:?0&\iPj5uziT#SMrc<Ƶ0_#E+zYK#t!<\jJ0u\+<~jGO7tGS+^Z׆Ź!DK
r'T.
Wc!8.vSA+5G/#Btj~̯!되u^տ+
zZ?@(όL x]@@MD(X&Vł
`>V` EP!N
wnwgC+N#H֒?_OaOLxwIϸ?\J:IGȦy.zޔ̔N]?&5G{QxUݾyH y@:xz8//,+`*R-Ȑu{" oK/-oV(;_\- m,WXb dA/R(!~v!LELxbtO! :*t+0^qV
\(k4^ybo*(UVcMN10WD5\>}ƾa=|s8/x]#(,/,+,,W8Kge\ 7JsY=?A.*HOH