You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

3 lines
152 B

// Maximum probability that the malicious recipient eventually gains information
// RESULT: 0.105658
"eventually": Pmax=? [ F "gains_information" ];