scholarly journals Faster Smarter Proof by Induction in Isabelle/HOL

2021 ◽  
Author(s):  
Yutaka Nagashima
Keyword(s):  
Execution Time ◽  
Proof By Induction

We present sem_ind, a recommendation tool for proof by induction in Isabelle/HOL. Given an inductive problem, sem_ind produces candidate arguments for proof by induction, and selects promising ones using heuristics. Our evaluation based on 1,095 inductive problems from 22 source files shows that sem_ind improves the accuracy of recommendation from 20.1% to 38.2% for the most promising candidates within 5.0 seconds of timeout compared to its predecessor while decreasing the median value of execution time from 2.79 seconds to 1.06 seconds.

TOP HILL METHOD - A NEW SORTING APPROACH TO REDUCE EXECUTION TIME

2018 ◽  
Vol 12 (4) ◽  
pp. 28
Author(s):  
BHARALI DEBABRAT ◽  
KUMAR SHARMA SANDEEP ◽  
◽  
Keyword(s):  
Execution Time ◽  
Reduce Execution Time

Identifying Possibly Parallel regions Using Average Execution Time of Regions and Data Dependence Profiling

2009 ◽  
Vol 31 (10) ◽  
pp. 1745-1753
Author(s):  
Chao ZHANG ◽  
Lei WANG ◽  
Xiao-Ya XIANG ◽  
Xiao-Bing FENG
Keyword(s):  
Execution Time ◽  
Data Dependence

Security Analysis of Wireless Authentication Protocols

2019 ◽  
Vol 9 (2) ◽  
pp. 247-252 ◽  
Author(s):  
Ashish Joshi ◽  
Amar Kumar Mohapatra
Keyword(s):  
Execution Time ◽  
Communication Systems ◽  
Security Analysis ◽  
Cryptographic Protocols ◽  
Command Line ◽  
Time Analysis ◽  
Authentication Protocols ◽  
Replay Attack ◽  
Peer Communication ◽  
Digital Communication Systems

Background & Objective: Cryptographic protocols had been evident method for ensuring con dentiality, Integrity and authentication in various digital communication systems. However the validation and analysis of such cryptographic protocols was limited to usage of formal mathematical models until few years back. Methods: In this paper, various popular cryptographic protocols have been studied. Some of these protocols (PAP, CHAP, and EAP) achieve security goals in peer to peer communication while others (RADIUS, DIAMETER and Kerberos) can work in multiparty environment. These protocols were validated and analysed over two popular security validation and analysis tools AVISPA and Scyther. The protocols were written according to their documentation using the HLPSL and SPDL for analysis over AVISPA and Scyther respectively. The results of these tools were analysed to nd the possible attack an each protocol. Afterwards The execution time analysis of the protocols were done by repeating the experiment for multiple iterations over the command line versions of these tools.As the literature review suggested, this research also validates that using password based protocols (PAP) is faster in terms of execution time as compared to other methods, Usage of nonces tackles the replay attack and DIAMETER is secure than RADIUS. Results and Conclusion: The results also showed us that DIAMETER is faster than RADIUS. Though Kerberos protocol was found to safe, the results tell us that it is compromisable under particular circumstances.

Execution time monitoring and interrupt handlers

2010 ◽  
Vol 30 (1) ◽  
pp. 68-72 ◽  
Author(s):  
Mario Aldea Rivas ◽  
Michael González Harbour
Keyword(s):  
Execution Time
Sign in / Sign up

Export Citation Format

Share Document