IEEE/ICACT20210212 Slide.12        [Big Slide]       Oral Presentation
We are able to synthesize the previous analysis results and display them as shown in this table. Case 1 satisfies the reliability but does not satisfy the security, resulting in an integer overflow. Case 2 is not satisfied with both reliability and security, so integer overflow occurs. Case 3 satisfies not only reliability but also security, so integer overflow does not occur. Case 4 satisfies the security but does not satisfy the reliability, resulting in an integer overflow.

[Go to Next Slide]
Select Voice: