Conversation

Notices

  1. Remote profile options...
    boneidol boneidol

    Anybody on the Stanford !cryptocourse !mooc? Question to you... What's your formal # # background?

    Monday, 20-Jan-14 00:35:35 UTC from indy.im at 32°58'59"N 49°7'59"E
    1. Remote profile options...
      boneidol boneidol

      Thanks. I'm a # graduate (1986 ) .Self taught on #

      Monday, 20-Jan-14 01:41:50 UTC from indy.im at 32°58'59"N 49°7'59"E
    2. Remote profile options...
      boneidol boneidol

      I was wondering because a lot of the formal methods are reminiscent of the tools that sees in basic calculus. "negligible advantage" for an attacker looks like a limi t function to me

      Monday, 20-Jan-14 01:45:39 UTC from indy.im at 32°58'59"N 49°7'59"E
    3. Remote profile options...
      boneidol boneidol

      And a lot of the proof seems to depend on proof by contradiction. Being exposed to some of those concepts before hand eases the pain!

      Monday, 20-Jan-14 01:52:23 UTC from indy.im at 32°58'59"N 49°7'59"E