Search Results - Concurrent Programming General Terms Security

Backwards-directed information flow analysis for concurrent programs by Winter, Kirsten, Coughlin, Nicholas, Smith, Graeme

“…A number of approaches have been developed for analysing information flow in concurrent programs in a compositional manner, i.e…”
Get full text

When Memory Corruption Met Concurrency: Vulnerabilities in Concurrent Programs by Llorente-Vazquez, Oscar, Santos-Grueiro, Igor, Bringas, Pablo Garcia

“…Concurrent programs are widespread in modern systems. They make better use of processor resources but inevitably introduce a new set of problems in terms of reliability and security…”
Get full text

GT-NRSM: efficient and scalable sharding consensus mechanism for consortium blockchain by Shen, Tao, Li, Tianyu, Yu, Zhuo, Bai, Fenhua, Zhang, Chi

“… As the underlying architecture of blockchain, consensus is the key to realizing service-oriented applications of blockchain in terms of its security, efficiency, and scalability optimization…”
Get full text

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II by Dillig, Isil, Tasiran, Serdar

“…; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning…”
Get full text

A semantic analysis of key management protocols for wireless sensor networks by Macedonio, Damiano, Merro, Massimo

“…Gorrieri and Martinelli’s timed Generalized Non-Deducibility on Compositions (tGNDC) schema is a well-known general framework for the formal verification of security protocols in a concurrent scenario…”
Get full text

Complexity in Scalable Computing by Rouson, Damian W.I.

Get full text

Micro-Containerization in Microcontrollers for the IoT by Ribeiro, Eduardo Carreira

“…Development, deployment, and maintenance of software for traditional computational systems have been revolutionized over the last few decades. Advances…”
Get full text

Robust and compositional verification of object capability patterns by Swasey, David, Garg, Deepak, Dreyer, Derek

“…In scenarios such as web programming, where code is linked together from multiple sources, object capability patterns (OCPs…”
Get full text

A discrete -time approach for valuing real options with underlying mean -reverting stochastic processes by Hahn, Warren Joseph

“…In this research the recombining binomial lattice approach for valuing real options is generalized to address a common issue in many real valuation problems,…”
Get full text