• The Public Key Infrastructure, and DigSigs

    April 22, 2015

    The SSL protocol provides all three of the basic security features: Confidentiality: the data is encrypted. Integrity: an authentication code is calculated to tie the statement to the holder of some secret information. Authenticity: said secret information can be known only by a certain counter-party. The confidentiality and integrity protocols we have studied assume a [...]

  • Godel Encoding

    April 4, 2015

    In 1931 Kurt Godel showed the theory of numbers to be undecidable by showing that a general computation can be encoded as a number theory fact. The basic idea is that information can be packaged in the exponent of primes, and extracted and manipulated by the logical quantifiers ∃ and ∀. The data structures Given [...]

Powered by Wordpress and MySQL. Theme by Shlomi Noach, openark.org