Improved Probabilistic Verification by Hash Compaction

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-60385-9_13
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Geotechnical Verification of Impact Compaction

2010English

A Probabilistic Model for Multimodal Hash Function Learning

2012English

Probabilistic Verification of BGP Convergence

2011English

Gait Verification Using Probabilistic Methods

2005English

HDL Design and Verification of Hash Based Authentication Algorithms

International Journal for Research in Applied Science and Engineering Technology
2017English

Incremental Runtime Verification of Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Improved Generic Attacks Against Hash-Based MACs and HAIFA

Algorithmica
Applied MathematicsComputer Science ApplicationsComputer Science
2016English

Formal Probabilistic Performance Verification of Randomly-Scheduled Wireless Sensor Networks

International Journal of Critical Computer-Based Systems
Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy