Cheng Su — Page 2 | Searcharxiv

arXiv2019

Verifying Security Protocols using Dynamic Strategies

Current formal approaches have been successfully used to find design flaws in many security protocols. However, it is still challenging to automatically analyze protocols due to their large or infinite state spaces. In this paper, we propose a novel framework that can automatically verifying security protocols without any human intervention. Experimental results show that SmartVerif automatically verifies security protocols that cannot be automatically verified by existing approaches. The case study also validates the effectiveness of our dynamic strategy.

cs.CR↗

arXiv2016

Mortgages and Refinancing

In general, homeowners refinance in response to a decrease in interest rates, as their borrowing costs are lowered. However, it is worth investigating the effects of refinancing after taking the underlying costs into consideration. Here we develop a synthetic mortgage calculator that sufficiently accounts for such costs and the implications on new monthly payments. To confirm the accuracy of the calculator, we simulate the effects of refinancing over 15 and 30 year periods. We then model the effects of refinancing as risk to the issuer of the mortgage, as there is negative duration associated with shifts in the interest rate. Furthermore, we investigate the effects on the swap market as well as the treasury bond market. We model stochastic interest rates using the Vasicek model.

q-fin.PR↗