Reynaldo Gil Pons

Scyther cannot find attack

4

The following protocol [msc.pdf](https://github.com/cascremers/scyther/files/5554709/model.pdf) is insecure. Its corresponding Scyther model is shown below: ``` protocol DY2(I, R) { role I { fresh ni: Nonce; send_1(I, R, {I, {ni}pk(R)}pk(R) ); recv_2(R,...

strange behaviour respect to gnirehtet

2

I'm on a LG Nexus 5 AOSP ROM Android 7.1 I was testing methods for reverse usb tethering and found the following: With gnirehtet, most apps (except google apps) work...

duplicate contacts

4

I get many duplicate contacts in the simple dialer app, while in the simple contacts app the contacts appear as one. I cannot find any pattern related to these contacts,...

**Is your feature request related to a problem? Please describe.** Nope **Describe the solution you'd like** I would like the apk of the app to be published here in the...

parallelism and timeouts errors

6

`patRoon 1.2.0` As part of my analysis, I was getting random errors while executing this line: ``` formulas

Recently I noticed that when using babel, and tikz, using the tikzlibrary babel is needed in some cases. For these cases, it breaks some commands in cryptocode (I suspect it...

The header parameter of `\procedureblock` command gives an error when using latex inline math delimiters `\( \)`, only `$$` would, which is not preferable.

Implement full text search

13

**Describe the bug** Option for full text search is missing from settings since version 2.4 (version 2.2 works). Zim files are recent (2018). When searching terms, it clearly only searches...

rewrite rules behaviour

2

Maybe this is a missunderstanding of mine, but as far I understood rewrite url rules should modify the external url from an item in a feed. I tested with a...

gauge colors overlap

1

### Checklist - [X] I have updated to the latest available Home Assistant version. - [X] I have cleared the cache of my browser. - [X] I have tried a...