profile
viewpoint
If you are wondering where the data of this site comes from, please visit https://api.github.com/users/nadimkobeissi/events. GitMemory does not store any data, but only uses NGINX to cache data for a period of time. The idea behind GitMemory is simply to give users a better reading experience.
Nadim Kobeissi nadimkobeissi @capsulesocial Paris, France https://nadim.computer

Inria-Prosecco/proscript-messaging 34

Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.

ad-l/djcl 11

DJS Crypto Library

Inria-Prosecco/acme-model 9

A Formal Model for ACME: Analyzing Domain Validation over Insecure Channels

nadimkobeissi/cpr 2

cp with progress bar and other stats

nadimkobeissi/formatforest 1

Simple parser-generator blogging engine written in Go.

nadimkobeissi/diskgem 0

Command-line SFTP client written in Go with a terminal-based user interface.

nadimkobeissi/js-ipfs 0

IPFS implementation in JavaScript

issue commentgolang/go

x/mobile: `gomobile bind` is ignoring target architecture parameter

I strongly support @ydnar's proposed fix here.

iamcalledrob

comment created time in a day

push eventsymbolicsoft/noiseexplorer

Nadim Kobeissi

commit sha 5b03267416fd5deb8b08f9d254b4c64b00baa676

Web-server friendly chmod

view details

push time in a day

PR closed symbolicsoft/noiseexplorer

Fixed web version inserting commas into Go code, causing syntax errors.

When downloading the Go code for IKpsk2 and KK from noiseexplorer.com today, the code would not compile due to syntax errors. For IKpsk2, this is the output of go build:

# command-line-arguments
./IKpsk2.noise.go:33:1: syntax error: non-declaration statement outside function body
./IKpsk2.noise.go:76:1: syntax error: non-declaration statement outside function body
./IKpsk2.noise.go:92:1: syntax error: non-declaration statement outside function body
./IKpsk2.noise.go:126:2: syntax error: unexpected comma after top level declaration
./IKpsk2.noise.go:204:1: syntax error: non-declaration statement outside function body
./IKpsk2.noise.go:452:1: syntax error: non-declaration statement outside function body

The faulty Go code is attached.

This occurred in Firefox 89.0.2 and Chromium 92.0.4515.107.

IKpsk2.noise.go.txt

+1 -1

1 comment

1 changed file

8n8

pr closed time in a day

pull request commentsymbolicsoft/noiseexplorer

Fixed web version inserting commas into Go code, causing syntax errors.

Thank you! Integrated: https://source.symbolic.software/noiseexplorer/noiseexplorer/-/commit/b266943306dd398b3438060b75c1b9a6473d04a1

8n8

comment created time in a day

push eventsymbolicsoft/noiseexplorer

Nadim Kobeissi

commit sha b266943306dd398b3438060b75c1b9a6473d04a1

Integrate web IDE fix submitted by @8n8 on GitHub https://github.com/symbolicsoft/noiseexplorer/pull/2

view details

push time in a day

push eventsymbolicsoft/verifpal

drone

commit sha 8736938780705f34267c614f3479169fcc110f7e

Brew formula update for verifpal version v0.26.0

view details

drone

commit sha 8ff9e8ee78acc8123caae185b831b4c3c0d9d39e

Scoop update for verifpal version v0.26.0

view details

push time in 7 days

created tagsymbolicsoft/verifpal

tagv0.26.0

Mirror of Verifpal canonical repository.

created time in 7 days

push eventsymbolicsoft/verifpal

Nadim Kobeissi

commit sha 4d276a8569f3070e0431900ca2e211385be0d935

Verifpal 0.26.0

view details

push time in 7 days

push eventsymbolicsoft/verifpal

Nadim Kobeissi

commit sha 7381b4d033e60fed7e27366c3031a507b9a6c8c7

Resolve early resolution side effects

view details

push time in 7 days

push eventsymbolicsoft/verifpal

Nadim Kobeissi

commit sha 5d7ff638b8b83f55477f3d8bc45c1ce94bd54d42

Integrate Coq fixes

view details

push time in 7 days

push eventnadimkobeissi/nvim

Nadim Kobeissi

commit sha 3a4824f51d991c46e6f977499f34b047e51f1078

.

view details

push time in 14 days

pull request commentgolang/mobile

cmd/gomobile: support macOS and Catalyst

Thank you so much!

ydnar

comment created time in 15 days

pull request commentgolang/mobile

cmd/gomobile: support Catalyst and Apple Silicon

Thank you so much!

waylybaye

comment created time in 15 days

push eventsymbolicsoft/verifpal

Nadim Kobeissi

commit sha f2a3cfd5d23d05b4054c4163523d8590b5248176

Remove early resolution for in query stage

view details

push time in 19 days

push eventsymbolicsoft/verifpal

push time in 19 days

push eventsymbolicsoft/verifpal

Nadim Kobeissi

commit sha 3d8f6b9d9092dd974d60e16ac19cc587e784ca57

Update go.mod and go.sum

view details

Nadim Kobeissi

commit sha 1c48a54bde2430e4e69edfb99bf8996c7d16cf46

Fix equivalence query side effect Using valueResolveValueInternalValuesFromPrincipalState in the query stage caused values in valPrincipalState to be resolved too early, thereby affecting the reliability of analysis.

view details

push time in 19 days

pull request commentgolang/mobile

mobile: support macOS and Catalyst

cc. @hajimehoshi maybe?

ydnar

comment created time in 20 days

startedmicrosoft/TypeScript

started time in 22 days

created tagsymbolicsoft/noiseexplorer

tagv1.0.3

Mirror of Noise Explorer canonical repository.

created time in 22 days

issue closedsymbolicsoft/noiseexplorer

Improper nonce handling in Go

There are two issues with nonce handling in Go:

  1. Nonces are 32 bits long. The Noise spec requires 64-bit nonce.
type cipherstate struct {
	k [32]byte
	n uint32
}
  1. Nonce overflow. The spec requires returning an error if the maximum number is reached. This is the same issue as in the flynn package but more realistic due to 32-bit length.
func incrementNonce(n uint32) uint32 {
	return n + 1
}

func encryptWithAd(cs *cipherstate, ad []byte, plaintext []byte) (*cipherstate, []byte) {
	e := encrypt(cs.k, cs.n, ad, plaintext)
	cs = setNonce(cs, incrementNonce(cs.n))
	return cs, e
}

closed time in 22 days

dnkolegov

issue commentsymbolicsoft/noiseexplorer

Improper nonce handling in Go

Fixed in Noise Explorer 1.0.3. Thanks again.

dnkolegov

comment created time in 22 days

push eventsymbolicsoft/noiseexplorer

Nadim Kobeissi

commit sha 2d96c88ab8d422858ff2f2503cc3e2f3c01d15a8

Noise Explorer v1.0.3

view details

push time in 22 days

push eventsymbolicsoft/noiseexplorer

Nadim Kobeissi

commit sha 2ebf3a6fa94e7aed1ee8260e5ac7aa0baf159150

Nonce error handling for Go implementations

view details

push time in 22 days

push eventsymbolicsoft/noiseexplorer

Nadim Kobeissi

commit sha b59c5ffc73da5d7d33d7e435b302aa0656b91923

Specify nonces as 64-bit in Go implementations

view details

push time in 22 days

push eventsymbolicsoft/noiseexplorer

Nadim Kobeissi

commit sha fd97b3b499bfb9e83aabf8dc40f737a9eebeb19a

Update Rust implementations dependencies

view details

push time in 22 days

issue commentsymbolicsoft/noiseexplorer

Improper nonce handling in Go

@dnkolegov Thanks for reporting this. I'll get it fixed soon.

dnkolegov

comment created time in 23 days

created tagsymbolicsoft/verifpal

tagv0.25.0

Mirror of Verifpal canonical repository.

created time in 25 days

push eventsymbolicsoft/verifpal

Nadim Kobeissi

commit sha 08347f53b1c357d1032edcd0ca76b41fdd934461

Verifpal 0.25.0

view details

drone

commit sha 5be69ff5ea821a08a2b45f0464a1ec89c7f7ce21

Brew formula update for verifpal version v0.25.0

view details

drone

commit sha 616822bdee36a580b3bfd4968b357730e2837def

Scoop update for verifpal version v0.25.0

view details

push time in 25 days

push eventsymbolicsoft/verifpal

Nadim Kobeissi

commit sha 247ca91ee90619aad186b374eb6df93ed418f601

Add additional test

view details

push time in 25 days

push eventsymbolicsoft/verifpal

Nadim Kobeissi

commit sha ac6fde547cc7f598ae72a309d929995b1618d7cc

Clarify function names

view details

Nadim Kobeissi

commit sha 3263d2ffa1f17c509d62ea75304d58bd6a3e7254

Further analysis fixes

view details

push time in 25 days