HackerTrans
TopNewTrendsCommentsPastAskShowJobs

pretty_dumm_guy

no profile record

Submissions

LVI – Hijacking Transient Execution with Load Value Injection

lviattack.eu
1 points·by pretty_dumm_guy·6 лет назад·0 comments

[untitled]

5 points·by pretty_dumm_guy·6 лет назад·0 comments

comments

pretty_dumm_guy
·2 года назад·discuss
Neat!

  str.trim().split(" ").map(hex => String.fromCharCode("0x" + hex)).join()
seems to give the answer.
pretty_dumm_guy
·4 года назад·discuss
> Having two IRs (or even having a 1st-stage IR for each frontend language) sounds like something that a compiler project would want to avoid in the long term

Can you please share the reason behind why it should be this way ?
pretty_dumm_guy
·4 года назад·discuss
How do you verify the correctness of your fusion operation ?
pretty_dumm_guy
·5 лет назад·discuss
Ah okay. This simplifies the setup a lot. I had done some testing and validation of ECUs 9 years ago. So my questions were based on the understanding I had developed back then. Thank you for clarifying it. Again, awesome work :)
pretty_dumm_guy
·5 лет назад·discuss
Thank you for your reply. That is quite enlightening. I am quite surprised that the Transmission Control Unit(TCU) is tolerant of the solenoid modification. However, I have two questions though.

1. So based on my understanding, engine speed sensor readings are sent to the TCU which in turn regulates the solenoids(There might be other sensors as well but for my question, I think they aren't that important). So in order for your modification to work, you have to get these CAN frames, understand the reading, regulate your 6 speed auto gearbox and then create a CAN frame that would imitate the sensors of the 4 speed auto gearbox(to basically tell the TCU that the gearbox has been regulated correctly). You can in principle neglect the actuator commands that are sent by the TCU to the solenoids since you are regulating it on your own. However, in order to do this, you have to understand the CAN frames being used and also the protocol used(address based or message based). How did you figure this out ? Or is my understanding wrong here ?

2. Did you use FreeRTOS for your STM32F407 component ?

I really appreciate you taking the time to answer the questions :)
pretty_dumm_guy
·5 лет назад·discuss
No problem at all. Take your time :)
pretty_dumm_guy
·5 лет назад·discuss
Hi,

Firstly, Congratulations. This is no trivial accomplishment. Here are the questions I have.

1. Normally, cars come with their own ECUs for the engine. Interfacing with them requires knowledge about the underlying firmware used afaik. Did you happen to reverse engineer the firmware so that you could interface your own electronics with the provided ECU ?

2. How did you make the car believe that your 6 speed automatic transmission was a 4 speed automatic ?

3. > "the ability to go ahead and change the way it works whenever I want." - Could you please elaborate what you mean by this ?

Again, I am amazed by what you have accomplished. My inner mechanical engineer is so keen to know how this all came together. I think everyone would definitely appreciate if you could provide a rough overview of how you achieved these things. Thank you :)
pretty_dumm_guy
·6 лет назад·discuss
Thank you again for the clarifications. You have given me something to chew on over the holidays.

I wish you and your family a happy Christmas :)
pretty_dumm_guy
·6 лет назад·discuss
Thank you for your answer. It appears to me that we are trying to achieve an algorithm that has better time complexity than the one that we have right now(reverse mode differentiation with gradient descent).

Is it possible to combine these methods in a straight forward manner with methods that try to reduce the space complexity? For example, Lottery ticket hypothesis(https://arxiv.org/abs/1803.03635) seems to reduce spacial complexity(Please do correct me if I am wrong).

Also, based on my rather poor and limited knowledge, it appears to me that set of proposed methods that reduced space complexity and set of proposed methods that reduce time complexity are disjoint. Is that the case ?
pretty_dumm_guy
·6 лет назад·discuss
Hi Professor,

Good day,

I was wondering whether it is be possible for you to provide an overview of different methods that you think might have a better shot at replacing backpropagation algorithm?
pretty_dumm_guy
·6 лет назад·discuss
Wow! This sounds like a nightmare and honestly very disrespectful. I have nothing to show for since I keep my presence on the internet to a minimal. I guess i will be denied an account in a manner worse than you(This may sound like a knee-jerk reaction. However, it is one of the many possibilities and I am rather willing to be pessimistic than optimistic).

On the personal side, here is an hug(or a professional equivalent if you prefer that) to you stranger. I hope you have a great day.
pretty_dumm_guy
·6 лет назад·discuss
This sounds rather strange and sad. I had assumed that their account creation method was motivated by avoidance of creation of spam accounts. If there are other more reasons they should probably mention it in their website. I hope someone from lobsters' moderation team sees this and I hope its not some "exclusive club" since I like some aspects of their website like tags, "what are you working on this weekend" thread etc.,
pretty_dumm_guy
·6 лет назад·discuss
Your explanation is quite amazing. In my undergrad, we had learned about Transistors, TTL, flip-flops etc., but as individual building blocks. Your reply paints a very good picture about what can go wrong they play together. Is there a book that you would recommend to learn more about this ?

Also, Honestly, I thought reflections would be negligible when we are dealing with mA and 0-5V ranges. But your reply makes me think that there is more to it

Finally, thank you for your reply. I gonna come back to this answer in the future when I have a lab setup that is more than a solder and some screwdrivers :)
pretty_dumm_guy
·6 лет назад·discuss
Hi,

Your work sounds really interesing to me.

I am wondering about the reasons for these issues that you mentioned. Could you please mention them here ? It might serve as a nice pointer to do better hardware design debugging I believe(I have close to zero experience in this. Hence the interest).

Also, are there any formal systems that verify your TTL-level designs ?

Thank you.