Tag Archives: Japan

Leaving a Film in the Camera

Given its colour tint and demand for light (I tend to shoot it at ISO 50), the Lomo Redscale is not an easy film to find good scenes for. Combined with a long period of me living out of boxes, this roll ended up staying in the camera for around a year. And when it was finally developed it turned out to contain a few other surprises besides that of re-seeing old frames.

The first surprise was to see the frame on which I suspect the roll had been stuck on in the camera for around 9 months. I’m not completely sure it’s the real reason, but it is striking that Left in Camera is the only frame with two very different colour tints.

The second surprise was that the tint appears to have somewhat shifted over the year, with some shots be quite heavier in the red tones than others. Again this may have been some rustiness on my part, but there was a clean pattern.

At any rate, turns out there’s some evidence to the old advice of not keeping a film in the camera for too long.


I’d been wanting to go to Japan for years, and now seemed as good as ever. Taking the best of two days for travel, it had to be limited to nine full days there, with five spent in Tokyo, two in Kyoto, and two for what lies in-between.

It should come as no surprise that Tokyo was amazing. The cleanliness, the cityscape, and the seeming separatism from the US (compared to large parts of Europe at least). My impression is that it would be hard to move there for good — but coming back to work there for, say, one year is on my list now.

Unfortunately there wasn’t much time left over for Mount Fuji, but we did take the advice of many and stayed a night at a tradition Japanese inn, which is hereby passed on. Got to see the mountain though, and driving past a Fujifilm factory on the way I also finally made that connection (ever wondered why the network gigant is called Cisco?).

In Kyoto the most impressive thing was the Fushimi Inari Taisha shrine, with the entire Inari mountain essentially covered in Japanese Torii gates.

And of course everything was documented with Fujifilm, specifically Superia 200 and 400, and shot on a Nikon FM.

Japanese Paper Submitted

We’ve just submitted what I’ve been referring to as “the japanese paper”!

Written together with professor Naoki Kabayashi and his student Yunde Sun this was my first time working with Japanese people. It didn’t make a huge difference. I installed a Dashboard widget to easily show what time it was in Japan (8 hours ahead), and that was more or less it. Naoki was very polite and fair, and the whole experience has left me thinking that spending some time in Japan might not be a bad idea.

For the more technical stuff, the paper deals with how to enable a computer to automatically analyse security protocols for errors. The motivation behind this is that human designers of these protocols are notorious for missing critical details that years later allow some bad guy to do some nasty stuff. Giving these designers computer tools to verify the details is the essence of our work. The formal abstract is as follows:

Gordon and Jeffrey developed a type system for verification of asymmetric and symmetric cryptographic protocols. We propose a modified version of Gordon and Jeffrey’s type system and develop a type inference algorithm for it, so that protocols can be verified automatically as they are, without any type annotations or explicit type casts. We have implemented a protocol verifier based on the algorithm, and confirmed its effectiveness. We also formally investigate the relationship between Gordon and Jeffrey’s type system and ours.

We have submitted the paper to the Computer Security Foundations 2011 Symposium (CSF ’11) and will know whether it is accepted or not by the end of March.

Today also marks the end of a rather busy period! It’s been too much. At the level you can only keep for a short time and where physical symptoms start to show (in this case chest pains). Three sweet sweet weeks of vacation awaits me now :).