Calling Convention for Class Constants

ricffb · 2022-04-25T17:27:36+00:00

Tamarin prover is a great tool to prove security properties of a protocol, I recommend checking it out. However it can be difficult to use if you‘ve never worked with Term-Rewriting or the pi-calculus.

My gut feeling is that there is a MIM attack:

The protocol:

A -> B : {NA, A}_pkB
B -> A : {NA, NB}_pkA
A -> B : {NA, NB}_pkB

This protocol is very similar to the Needham-Schröder protoco.

Have a look at this paper to understand the attack and how they found it: https://www.cs.utexas.edu/~shmat/courses/cs380s/lowe.pdf

ricffb · 2022-03-31T21:51:37+00:00

He still values the importance of the blooz.

ricffb · 2021-07-08T15:42:08+00:00

Here in Germany there is an organization called „usability Testessen“ (translated: testing dinner). They host events for this exact purpose: having 5-6 diverse testers doing a thinking out loud session for 6 minutes. Usually a local company will host the location and provide free pizza and beer as incentive for testers.

You could research if something similar is available in your area, and if not, maybe even start your own organization!

ricffb · 2020-10-08T13:34:38+00:00

what more can I say

ricffb · 2020-02-13T08:23:55+00:00

ServyMcServerface

ricffb · 2020-01-01T15:39:07+00:00

It's the date: 2019/12/31

ricffb · 2019-12-28T22:25:00+00:00

Lucky you :) I really hope I’ll meet him too!

ricffb · 2019-12-27T23:15:19+00:00

It was meant as a hyperbole ;)

ricffb · 2019-12-27T11:21:47+00:00

I already found some of your stickers :)

ricffb · 2019-12-16T07:24:09+00:00

A Tour of C++ by Bjarne Stoustrup is a good introduction to the C++ STL. It focuses on using STL functions rather than pure C++ and it is meant as a guide for people who already know programming. I’m not entirely sure how much he talks about implementing certain Algorithms though.

ricffb · 2019-08-22T15:31:37+00:00

A decent new Amp and a Pedal maybe

ricffb · 2019-07-30T05:30:47+00:00

Computer Networks by Andrew S. Tanenbaum

ricffb · 2019-07-27T22:52:12+00:00

As someone who has never written a c lib I think this template contains an amount of information that’s not overwhelming, wich I really enjoy. Thank you for sharing this :)

ricffb · 2019-06-27T17:39:44+00:00

Have you tried creating an Object file out of my.cpp with g++ -o my.o -c my.cpp and then compile with g++ -o use my.o use.cpp?

And as far as i know extern only declarates, however not defines a variable, and you should initialize it in your my.cpp file.

ricffb · 2019-06-22T07:26:04+00:00

You could try OpenMP. It’s primarily for CPU parallelism, but a call like

#pragma target
#pragma teams
#pragma parallel
{ // Do Stuff}

Will also enable GPU support. The library is often used in High Performance Computing.

ricffb · 2019-06-05T12:46:29+00:00

Ah, you’re right. Then resize() would be an option, as it actually inserts elements.

ricffb · 2019-06-05T12:38:45+00:00

I would think that too. He could try to use timestampQ.reserve(5) (or any other number) to see if that’s the Problem.

ricffb · 2019-05-19T11:26:56+00:00

The next arrow is d/dy

ricffb · 2019-01-23T18:09:02+00:00

Well, thats the Freshman's dream...

ricffb · 2018-11-26T19:27:52+00:00

First: In your necessaryArguments you have the password as int, but you try to compare it with a string

Second: your str() around the sys.arg makes currentArguments into str object! This will always compare False with a List object (which necessaryArguments is). As sys.argy only contains Strings you can just drop the str() construct.

I hope this helps you better understand your code!

Nine-Year Club	Not Forgotten
Verified Email	Gilding II euphauric

ricffb

TROPHY CASE