#Computer-Science
454 posts in tag “Computer-Science”.
Implementing A Simd Accelerated Suffix Array Construction For Large Genomic Datasets
2020-10-01A comprehensive technical exploration of implementing a simd accelerated suffix array construction for large genomic datasets, covering key concepts, practical implementations, and real-world applications.
The Performance Of Bit Packed Data Structures Vs. Classic Arrays In High Performance Computing
2020-09-27A comprehensive technical exploration of the performance of bit packed data structures vs. classic arrays in high performance computing, covering key concepts, practical implementations, and real-world applications.
Designing A Linear Time Algorithm For Constructing A Prefix Automaton For Multiple Patterns: Aho Corasick
2020-09-25A comprehensive technical exploration of designing a linear time algorithm for constructing a prefix automaton for multiple patterns: aho corasick, covering key concepts, practical implementations, and real-world applications.
An Analysis Of Register Allocation Via Graph Coloring: Chaitin Briggs Algorithm With Live Range Splitting
2020-09-17A comprehensive technical exploration of an analysis of register allocation via graph coloring: chaitin briggs algorithm with live range splitting, covering key concepts, practical implementations, and real-world applications.
Building A Just In Time Compiler For Regular Expressions: Thompson’S Construction And Dfa Minimization
2020-09-17A comprehensive technical exploration of building a just in time compiler for regular expressions: thompson’s construction and dfa minimization, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A Garbage Collector For A Functional Language: Cheney’S Algorithm And Generational Copying
2020-09-16A comprehensive technical exploration of the implementation of a garbage collector for a functional language: cheney’s algorithm and generational copying, covering key concepts, practical implementations, and real-world applications.
Designing A Type System For Dependently Typed Programming: Agda’S Universe Hierarchy And Pattern Matching
2020-09-03A comprehensive technical exploration of designing a type system for dependently typed programming: agda’s universe hierarchy and pattern matching, covering key concepts, practical implementations, and real-world applications.
A Proof Of Correctness For The Lamport’S Bakery Algorithm In Distributed Shared Memory Systems
2020-08-28A comprehensive technical exploration of a proof of correctness for the lamport’s bakery algorithm in distributed shared memory systems, covering key concepts, practical implementations, and real-world applications.
The Formal Verification Of A Concurrent Work Queue Using The Tla+ Model Checker: Invariants And Liveness
2020-08-10A comprehensive technical exploration of the formal verification of a concurrent work queue using the tla+ model checker: invariants and liveness, covering key concepts, practical implementations, and real-world applications.
Implementing A Small Theorem Prover For Propositional Logic Using The Dpll Algorithm With Conflict Driven Clause Learning
2020-08-09A comprehensive technical exploration of implementing a small theorem prover for propositional logic using the dpll algorithm with conflict driven clause learning, covering key concepts, practical implementations, and real-world applications.
The Algorithmic Methodology Of Coq Proof Assistant: Inductive Types, Tactics, And Extraction To Ocaml
2020-08-08A comprehensive technical exploration of the algorithmic methodology of coq proof assistant: inductive types, tactics, and extraction to ocaml, covering key concepts, practical implementations, and real-world applications.
Building A Distributed Certificate Transparency Log Using Merkle Trees And Append Only Proofs
2020-07-31A comprehensive technical exploration of building a distributed certificate transparency log using merkle trees and append only proofs, covering key concepts, practical implementations, and real-world applications.
A Deep Dive Into Merkle Damgård Vs. Sponge Construction For Hash Functions: Sha 256 And Sha 3
2020-07-24A comprehensive technical exploration of a deep dive into merkle damgård vs. sponge construction for hash functions: sha 256 and sha 3, covering key concepts, practical implementations, and real-world applications.
The Implementation Of A Secure Channel Protocol Using Noise Framework: Handshake Patterns And State Machine
2020-07-11A comprehensive technical exploration of the implementation of a secure channel protocol using noise framework: handshake patterns and state machine, covering key concepts, practical implementations, and real-world applications.
Designing A Key Management Service For Distributed Systems Using Shamir’S Secret Sharing With Homomorphic Properties
2020-07-02A comprehensive technical exploration of designing a key management service for distributed systems using shamir’s secret sharing with homomorphic properties, covering key concepts, practical implementations, and real-world applications.
A Rigorous Analysis Of Differential Privacy: Laplace And Gaussian Mechanisms For User Level Privacy
2020-06-29A comprehensive technical exploration of a rigorous analysis of differential privacy: laplace and gaussian mechanisms for user level privacy, covering key concepts, practical implementations, and real-world applications.
Building A Password Hashing Function With Memory Hardness: Scrypt And Argon2 Internals
2020-06-29A comprehensive technical exploration of building a password hashing function with memory hardness: scrypt and argon2 internals, covering key concepts, practical implementations, and real-world applications.
The Mathematics Of Lattice Based Cryptography: Learning With Errors, Ring Lwe, And Ntru
2020-06-14A comprehensive technical exploration of the mathematics of lattice based cryptography: learning with errors, ring lwe, and ntru, covering key concepts, practical implementations, and real-world applications.
Implementing A Side Channel Attack Resistant Rsa Implementation Using Montgomery Ladder And Blinding
2020-06-05A comprehensive technical exploration of implementing a side channel attack resistant rsa implementation using montgomery ladder and blinding, covering key concepts, practical implementations, and real-world applications.
A Detailed Look At The Tls 1.3 Handshake Protocol: Key Schedule, 0 Rtt, And Forward Secrecy
2020-06-01A comprehensive technical exploration of a detailed look at the tls 1.3 handshake protocol: key schedule, 0 rtt, and forward secrecy, covering key concepts, practical implementations, and real-world applications.
Designing A Verifiable Random Function (Vrf) For Leader Election In Proof Of Stake Blockchains
2020-05-17A comprehensive technical exploration of designing a verifiable random function (vrf) for leader election in proof of stake blockchains, covering key concepts, practical implementations, and real-world applications.
The Performance Of Elliptic Curve Cryptography Vs. Rsa For Key Exchange And Signatures On Constrained Devices
2020-05-08A comprehensive technical exploration of the performance of elliptic curve cryptography vs. rsa for key exchange and signatures on constrained devices, covering key concepts, practical implementations, and real-world applications.
A Secure Multi Party Computation Protocol For Private Set Intersection: Oprf And Ot Extensions
2020-05-06A comprehensive technical exploration of a secure multi party computation protocol for private set intersection: oprf and ot extensions, covering key concepts, practical implementations, and real-world applications.
Implementing A Zero Knowledge Proof Of Knowledge From The Schnorr Protocol: Σ Protocols And Fiat Shamir
2020-04-27A comprehensive technical exploration of implementing a zero knowledge proof of knowledge from the schnorr protocol: σ protocols and fiat shamir, covering key concepts, practical implementations, and real-world applications.