• Breaking News

    Friday, September 21, 2018

    Home Unlabelled Cryptography CNF representation of AES.

    Cryptography CNF representation of AES.

    September 21, 2018

    Cryptography CNF representation of AES.

    CNF representation of AES.

    Posted: 20 Sep 2018 09:25 PM PDT

    I am trying to create a CNF formula for AES algorithm. I'm using the aes core provided in yosys-bigsim repository.

    I've performed the synthesis using the standard yosys synthesis script and written the output to a .blif file.

    I'm then trying to use abc to convert the blif to CNF, but its throwing the following error:

    abc: src/base/abci/abcDar.c:1750: Abc_NtkDarToCnf: Assertion `Abc_NtkIsStrash(pNtk)' failed.

    Aborted (core dumped)

    I'm pretty new to this and just want to create a CNF formula of AES for satisfiability checking. Any help would be highly appreciated. Thanks!

    submitted by /u/harshitk11
    [link] [comments]

    Encrypting most important passwords

    Posted: 20 Sep 2018 04:44 PM PDT

    Hey, guys! I am new to crypto but I had that idea that I am obsessed with now: encrypt all of my most important passwords (password manager\banking, etc.) and have it written down somewhere while having the key printed on a business card kept in my wallet. That way if someone finds my notebook they can't get much out of it and the same goes for the card in the wallet. The problem is - whenever I try googling something like that all I get is software password encryption and things that are not related. Quick search in here didn't help either.
    Am I missing something or am I just stupid? Either way, what encryption do you guys think would be easy enough to deal for me but hard enough to keep random thief away? I just started a business and want to make sure my passwords are secure. Seems like that would be a great way.
    Any advice or thought on the topic would be greatly appreciated :)

    submitted by /u/Ivanya_macaroni
    [link] [comments]

    Im super interested in cypto but dont know where to start.

    Posted: 20 Sep 2018 06:26 AM PDT

    So after watching a video about the cicada 3301 puzzle I got super into crypto. Ive begun looking into basic ciphers etc and trying to familiarize myself with concepts like public key cryptography. But other than this I dont know really where to start. Is there like a website or something where you can solve simple puzzles etc to begin exercising your knowledge?

    submitted by /u/petneato
    [link] [comments]

    Understanding PGP by Simulating it!

    Posted: 20 Sep 2018 10:05 PM PDT

    Is there a way to encrypt files to only be used with one another?

    Posted: 20 Sep 2018 08:45 PM PDT

    I'm thinking of something along the lines of onion encryption, but not really...

    E.g. I have a text file with a word in each row, and a simple script that would overwrite the file with the number of characters in each row. Is there existing research or techniques to encrypt these files such that their contents and function are not decipherable, without a key(s), and that ideally the final file is also encrypted with the same key?

    submitted by /u/freedaemons
    [link] [comments]

    Although there are collision attacks in MD5, why some of the file sharing sites use MD5 for integrity checking?

    Posted: 20 Sep 2018 10:19 AM PDT

    Super quick help needed - PGP

    Posted: 20 Sep 2018 09:53 AM PDT

    Hey there, usually I know my shit but right now I'm on vacation and only have my unrooted Android with me - does anyone know of a website / an app to verify pgp signatures with? I have the sig as a copy paste and the public key on my phone. Wouldn't be a problem on my desktop but I'm lost on the phone.

    Edit: already solved... I'm just stupid and forgot that android is basically Linux and I can use gnu tools through a terminal emulator. And to think that an idiot like me has an lfcs cert...

    submitted by /u/BrofessorQayse
    [link] [comments]
    Read more
    at

    No comments:

    Post a Comment